(Top): Update the top-level menus. Make the detailed menu headers compliant with Texinfo guidelines and with what texnfo-upd.el expects. Add comments to prevent people from inadvertently modifying the key parts needed by `texinfo-multiple-files-update'.