User-agent: *
Disallow: /stats/
Disallow: /fisheye/
Disallow: /calendar/
Disallow: /articles/
Disallow: /rss/
Disallow: /pdf/
Disallow: /treasury/
Disallow: /nexus/
Disallow: /pigeonholes
Disallow: /gatekeeper/
Disallow: /themes