Thank you! I didn’t know that either! It’s already been a great day!
discovered this little tidbit when I visited the museum several years ago. JPJ was a mason, doncha know.