The servers will come down for a restart on May 7, at 13:00 GMT/ 9:00 AM EDT/ 6:00 AM PDT. (check this link to see when this is in your timezone.) The downtime is estimated to take 1 hour.
This thread was added on May 07, 2020, with posts from AndyB.
The servers are back online.