I’m Shutting Down the Weblog

I no longer intend to maintain my personal weblog, and therefore I’m shutting it down. The project’s source code remains available on GitHub. When I have more spare time, all entries will be moved to an archive, and the weblog’s main page will be replaced with a new static one. Most likely this will be a simple page with brief information about me or something of that sort. So long, and thanks for all the fish.