Hi,
just updated documentation on github, now it should match the version we have on our website.
And yes, these source files are not compiled yet, we run it through a custom template tool
We don’t put that tool on github, right now I can’t tell whether there was some specific reason for it, or is it just how things went. Anyway, the docs repo is not self-sufficient for standalone usage.
If you contact us on customer support email, we’ll send you an html version of the documentation which you could use offline