Re: Change request: add old pkgdb url to robots.txt