A new website

Newly refurbished for 2020. The old site used a command line and Markdown-based CMS that I had completely forgotten how to use. I’ve replaced it now with a WordPress site that is heavier and slightly more expensive to run, but which I’ll be able to update without re-reading all the manuals. Please have a look around the sections in the top menu, mostly moved over as is from the old site.