We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Thu Jul 23 00:31:24 MDT 2020: The server is online and available for use once again.