Quick cryptogeek note
I’m stopping using my old PGP key (0×8C80C35F). It’s been active for 12 years, and I had set it to expire later this year, so I’m retiring it now.
In its place is 0×1A5FFE23 which I will use for personal purposes for the next five years. It has been signed by 0×8C80C35F (as well as the CACert root key), so should be considered trustworthy. Almost all personal mail from me shall be signed with this key.
PS. I am not being rubber-hosed as I type this.