User-agent: *
Disallow: /~paul/
Disallow: /cgi-bin/