Server maintenance [06/23/17]

June 23rd, starting at 06:00 (CEST), our servers will be down for 5 minutes more or less due to maintenance.