Issues with the feeds are now resolved
This is just a quick notice that during the last five days there was a problem with the website feeds. The web server returned a 500 Internal Server Error to almost all requests for /feed/ URLs. Also, there was a big increase of the server’s CPU load behind the scenes, which was caused by php-cgi…