We are aware that there are issues affecting this server. We are working to get them resolved. Update @ Tue Aug 13 12:24:38 MDT 2019 - This server is now up and available for use.
