Adding robots.txt to placate Googlebot.