User-agent: *
Disallow: /cgi-bin/
Disallow: /elistahl/Eli.html
Disallow: /elistahl/Baby/
Disallow: /elistahl/hidden
Disallow: /krthornt/private
Disallow: /krthornt/reprints