User-Agent: *
Disallow: /~codex/ir-books
Disallow: /books
Allow: /
Disallow: /textbooks