We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Thu Sep 28 20:24:06 BST 2017 - This server was rebooted to restore service. It is now up and available for use.