SEO: minor changes in robots.txt