2017-12-18 10:24 UTC: We’re currently addressing connection issues affecting customers on some of our servers. Please watch this area for updates and progress on the incident. We appreciate your patience.
2017-12-18 13:09 UTC: The problem was a bug in our web application firewall setup. It’s been corrected and connectivity has been restored as of about 30 minutes ago.