Things you didn’t know you didn’t know about the Holy Royal Arch