After avoiding it for years, I’ve finally decided to set up a blog. I’m nearly done customizing a theme consistent with the rest of my site, which anyway has been needing attention for a long time. I should be posting those updates in the next few days. Until then, cheers.