Re: [PATCH v3 23/27] binman: doc: Add documentation to htmldocs