Maintenance
Short notice: The site was just migrated to a new server and finally gets to use PHP 5 and MySQL 5.1. This is nice, but due to some subtle compatibility issues, there are some minor problems around. I’ll fix them soon enough, in the meantime, please don’t be surprised about them, I do know about it.