All W3C services should be available normally again. Our apologies for the inconvenience—this was pretty major hardware failure.