We are aware that there are issues affecting this server. We are working to get them resolved.
Update Fri Oct 13 09:38:42 MDT 2017 - This server experienced a brief disruption of the ssh service. It is now accessible.