WinGit: include html pages from official git.git's html branch