Webmaster message: Quick planed server maintenance

We will be doing a planed maintenance of around 5 minutes starting 12:20 UTC (that is in a few minutes from now) and 12:30 UTC. Sorry for the inconvenience.