User-agent: *
Disallow: /external.php
Disallow: /externalos.php
Disallow: /install.php
Disallow: /installos.php
Disallow: /jsreq.html
Disallow: /judge.php
Disallow: /spwrapper.php
Disallow: /update.php
Disallow: /updateos.php
Disallow: /bonsai/
Disallow: /bugs/
Disallow: /bugzilla/
Disallow: /developer/devlist.html
Disallow: /generator/
Disallow: /logs/
Disallow: /lxr/
Disallow: /nowrapper/submit-install.php
Disallow: /source/