Please note that this site is moving to a new server. As soon as I find out that the migration is complete, I’ll be disabling access to the old server, to prevent comments and other things from being posted to the old site.
In case the DNS transfer takes a while, you’ll be able to reach the new server at 188.8.131.52 For comparison, the old server was at 184.108.40.206.
Thanks, and sorry for the inconvenience.
Edit: Migration complete. DNS propagation is underway; if you see this, everything is peaches and cream again