Add documentation from a GitHub repo

Paste the repo URL — we'll pull in docs from .md, .mdx, .txt, .rst, or .ipynb files.