We are translating all official GNU Emacs documentation into Spanish for a future i18n/l10n of the program.
We are very advanced translating the Org-mode texi manual, but there is a @-command which we had never heard: @tsubheading.
This command is not documented in the Texinfo manual and is causing problems in the provisional generation with texinfo-format-buffer, because it is not recognized.