#954183 git-doc: Please add HTML documentation of git subtree