Better serving of robots.txt