# robots.txt 

User-agent: *
Disallow: /editors/
Disallow: /chora old/
Disallow: /chora%20old/