a permissive robots.txt directive to avoid server warnings