W3.org still appears to be down https://news.ycombinator.com/item?id=5052503