[2020] Server update: May 12, 2020 @ 9:00 AM EDT / 13:00 GMT

The servers are coming down for a small backend update May 12, 2020 @ 9:00 AM EDT / 13:00 GMT. Downtime ETA is 2 hours.

Servers are back online!