User-agent: *
Allow: /pipermail/linux/
Disallow: /