Seems like a handy resource but seems the navigation is a bit annoying to deal with. Quick hack with `wget --mirror` + `pandoc` for joining the documents, I got the following single-page layout: https://cloudflare-ipfs.com/ipfs/QmZetPzAP5bC3uXVmNUKU2DU22L...

(I take no responsability for any formatting errors. Math seems to render correctly, but probably some links are broken)