Eli Zaretskii <eliz@gnu.org> writes:

> I don't mind using the "normal" combination of @node and @subsection
> instead, but then it will require some more glue, including submenu
> etc.  I suggested @unnumberedsubsec because it's easier: it requires
> less work for you.
>
> So it's your call ;-)

Thanks for laying out the options.  I think I'll go with the normal
combination in this case.

I believe the attached patch does the right things, but it would be
good if someone more familiar with texinfo had a look.

Best regards,
Stefan Kangas