(Extremely) simplify robots.txt