Hi,http://dvcs.w3.org/robots.txt disallows all robots except W3C-checklink. http://www.w3.org/robots.txt disallows all robots for /Bugs/. This makes it hard to find specs on dvcs.w3.org and bugs on w3.org/Bugs/ with search engines. Can this be changed, please?
-- Simon Pieters Opera Software
