robots.txt: removing comments