Ideas for the robots.txt on Drupal.org