We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Fri May 25 10:03:42 MDT 2018 - This server became non responsive and is being rebooted to restore service.
Update @ Fri May 25 10:15:08 MDT 2018 - This server is up and available for use.
