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