User-agent: *
Disallow: /pipermail

User-agent: Fasterfox
Disallow: /