2016-10-23 15:15 UTC: Web527 is presently offline – we’re investigating the problem and will update this post as soon as we have more information.

2016-10-23 16:22 UTC: Web527 is back online. We’ll continue to monitor.