Another try at a tough robots.txt file