# robots.txt: to stop nice spiders from crawling our site. User-agent: *