User-agent: *
Disallow: /cgi-bin/
Disallow: /boggs/background
Disallow: /boggs/private
Disallow: /boggs/public
Disallow: /boggs-index.txt
Disallow: *.proto