Fine-tuned robots.txt a bit