User-agent: *
Disallow: /piglets
Disallow: /pipermail/papers/
Disallow: /cgi-bin/