Re: [PATCH 1/1] doc: move README.menu to HTML documentation