Source-code of the documentartion converter, from Markdown files of all gits to static pretty HTML. Using mkdocs.