Extended downtime Monday, December 20

During downtime this Monday, December 20,we will be performing a deployment of server hotfix. Downtime, therefore, will be extended by 30 minutes to 12:00 UTC, starting at 11:00 UTC as usual.