We forgot to add a maintenance message about it, we apologize for that.
A maintenance was performed on Sunday, October 18, as our ISP had to restart their router for some firmware updates. All in all, the servers were unavailable for a total of 6 minutes and 20 seconds.