For the record.
On the 20th of may the server was down for over 8 hours due to issues at the hosting location. We were not particularly happy with the management of the incident in terms of response time to our direct notification as it took way too long to get the services back up. We would like to apologize for the inconvenience it may have caused and hope to see you soon on the server.