Simpler robots.txt.