# go away
User-agent: *
Disallow: /nothing/  # robots may traverse the site
Disallow: /mail/
Disallow: /penumbra/