All of MIT has network problems this morning, making W3C services here inaccessible. Looks like the worst might be over now.