AIUI, the subsubheadings do not cause entries in the contents of the
PDF file. I'm not sure I think that's better, though. Are there
other differences I overlooked?
Not in terms of formatting, but in terms of theory and how Texinfo is
typically used -- @section and the like should always be used with a
corresponding @node; to get just a "heading" with no corresponding node,
use the @heading series.
I can go through them;
Thanks.
do you rather propose to split into several nodes, or just use less
headings?
I think it would be better to add the @node commands (and, consequently,
@menu's also). That would make the Info version of the manual nicer to
browse, since the nodes won't be so long.
Thanks,
karl