# stupid bots not welcome
User-agent: Gigabot
Disallow: /

User-agent: findlinks
Disallow: /

User-agent: OmniExplorer_Bot
Disallow: /

# other robots are mostly welcome
User-agent: *
Disallow: /docs/
Disallow: /forum/createtopic.php
Disallow: /pingback.php
Disallow: /profiles.php
Disallow: /search.php
Disallow: /submit.php
Disallow: /trackback.php
Disallow: /users.php