Earlier today when deleting old domains and such on my server, I accidentally deleted this blog in its entirety. I also did not figure this out until about an hour ago. Nevertheless, it is back up and running now. But since I had no backups, it was completely rebuilt, i.e. some links may have changed. I’m setting up automatic backups on the server as we speak, and nothing like this should ever happen again. My apologies for the downtime and the inconvenience.