We are aware that there are issues affecting these servers. We are working to get them resolved.
Update @ Tue Jun 11 22:49:12 MDT 2019: The servers became unreachable after a load spike. The servers are now running and the load has stabilized. We keep monitoring the situation.
