I've changed texinfo.texi not to use explicit @menu blocks in most cases, using the new @nodedescription command for the information that was previously in the @menu blocks.
However, in the Top node of this manual, and many Texinfo manuals, there is a @detailmenu block. I believe this can be updated/regenerated in Emacs automatically. However, I feel it would be better to have a way for texi2any do it. Have I understood this situation correctly?
