robots.txt, fixes #9