robots.txt handles attachment URLs correctly