A few servers needed a little help coming back, but now all W3C services should be running normally. Thanks for your patience.