Re: [PATCH 7/7] doc: move directory hierarchy to HTML