User-Agent: *
Disallow: /guide/summaries/
Allow: /

User-Agent: Opera
Disallow: /

User-Agent: Mozilla
Disallow: /

User-Agent: Java
Disallow: /