Thanks for correction. Im glad that somebody is keeping an eye on me.
You did ask! I don’t think we can have too many largely-irrelevant historical facts ;-).