Webmaster message: Quick planed server maintenance

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