We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Fri Sep 27 18:25:29 MDT 2019: The server is running but we are seeing network connection issues. We are still working on the problem.
Update @ Fri Sep 27 18:57:03 MDT 2019: This server is now up and available for use.
