>> Well, I think that your `@anchorlabel` suggestion is the way to go.
>> Actually, I would prefer a shorter name, say, `@label`. Then you
>> can demote
>>
>> ```
>> @node Foo
>> @subsection Foo doodle doo
>> ```
>>
>> to
>>
>> ```
>> @label Foo
>> @subsubheading Foo doodle doo
>> ```
>
> I still can't see why
>
> @node Foo
> @subsubheading Foo doodle doo
>
> would not work too.
Because in Info a `@node` always needs a `@menu` entry, AFAIK, which
is inconsistent with the `@XXXheading` behaviour.
Werner
