Re: [PATCH v2 17/21] binman: doc: Add documentation to htmldocs