User-Agent: *
Allow: /
Disallow: /devwiki/
Disallow: /inst/