We are aware that there are issues affecting this server. We are working to get them resolved.
- Update @Mon Jul 3 00:55:24 MDT 2017: The server experienced a kernel panic and was rebooted. It is up and running now and we are looking for possible reasons of the outage.
