About document version

It should be fine to have documents to each release version (e.g., 0.7) because it’s one time effort and we can manually do that in each release. For the HEAD version, we can put the commit hash to the document page.