# robots.txt for http:// user-agent: *