This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://www1.webplatform.org/robots.txt currently disallows indexing of pages. "Don't you want sites indexing the docs?" one guy said. I'm assuming that we did this originally to stop content leaking on to google, but now we really ought to change this.
Fixed. Content is now: #User-agent: * #Disallow: / Which means we're allowing everything. We'll need to watch for abusive bots.