User-agent: *
Disallow: /stats/
Disallow: /pub/
Disallow: /~lenehan/
Disallow: /cgi-bin/