User-Agent: OmniExplorer_Bot
Disallow: /

User-Agent: *
Disallow: /mailman/

User-Agent: YodaoBot
Disallow: /