We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Mon Oct 22 12:03:24 MDT 2018 - This server is being rebooted to restore service.
Update @ Mon Oct 22 12:05:57 MDT 2018 - This server is now up and available for use.