We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Tue May 19 15:27:33 MDT 2020 - This server is now up and available for use.