Version robots.txt modifications.