User-agent: *
Disallow: /mathlib_docs_demo/