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