I wouldn’t have thought to check, so I greatly appreciate you mentioning this. Added to my feed in the category (literally) Nerd Blogs. I love history, so you’ve made my day.