User-agent: * Disallow: /horde Disallow: /manual Disallow: /piranha Disallow: /_themes