Upgrading done.
This weekend I decided in a foolhardy moment to upgrade the server that runs this blog and other domains I maintain. I moved the system from CentOS 7 to the new CentOS Stream 9. Everything is apparently in good working order now, at least as far as I can tell. …