We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Thu Jul 26 14:25:40 MDT 2018 - This server is up and available for use.