Re: [PATCH 16/20] binman: doc: Add documentation to htmldocs