Signing off

I will soon be closing down (or abandoning) this blog, as I retire at the end of October 2024 - sharp-eyed readers will notice that the posts have become very infrequent. My personal website has already gone, and domain names that point here are expiring.

So long, and thanks for your interest.