Brief downtime this afternoon
We had a short interruption this afternoon from 5.05 PM to 5.25 PM.
This happened because one of our servers stopped accepting incoming connections.
The server is now back online and running like before the interruption, and we are right now working on figuring out what exactly happened with the server in order to prevent it from happening in the future.
We are sorry about the downtime.