# Allow indexing, but not in any personal pages
User-agent: *
Disallow: /userindex
Disallow: /~
# Don't index the development version of linux support pages
Disallow: /linux