Breaking the world, one application at a time
I'm sorry. My hoster suddenly required me to migrate to a newer version of PHP. That severely broke my WordPress setup, including the old theme and syntax highlighting, and download buttons. I'm working hard to get it all working again.
Looks like I've resolved most of the issues. Have a great stay!
I'm in the middle of updating the blog to the latest version of WordPress. It's not a really straightforward process as the new emoji support in WordPress 4.2 causes RSS feeds to stop validating. And there are lots of other tiny but ugly issues with it.
So, please excuse the mess, I'm doing my best to iron-out all the remaining wrinkles. 😉 And please let me know if you notice anything wrong with the site, comments or RSS.
Update: looks like all issues are resolved. Enjoy!