Within the next week (perhaps in the next day or so) I will be updating this website. If all goes well, this will affect none of you. However, there is the possibility that I might somehow screw up the RSS feeds. If you follow this website on an RSS reader and don’t get a new post by the end of next week . . . that will mean I somehow managed to not port the feed smoothly. In that case, you will need to delete the feed from your reader, and come back to this website and pick it back up.

But I hope I don’t make any mistakes, and everything upgrades smoothly, and nobody will need to do anything.