User-agent: *
Disallow: /-themes
Disallow: /-derived
Disallow: /_borders
Disallow: protocols.htm
Disallow: MNTcert.htm
Disallow: ANTcert.htm

User-agent: arach/
Disallow: /-themes
Disallow: /-derived
Disallow: /_borders