Yes, listing them in robots.txt, which was what I suggested. I'm not saying we should actually remove them from the website :)We already have /phobos-prerelease/ and /library-prerelease/ in robots.txt:http://dlang.org/robots.txt
I think we should do it, but robots.txt is tracked by the git repository, so might as well continue this in a PR?
