in general, letting the user choose between a
node and an anchor is better in my opinion.
In theory, given the language as it stands today, I can agree.
In practice, however, I have no desire to bend over backwards to
implement something that no one has ever needed or wanted, and is not a
practice that we want to recommend to document authors in the first
place. If it would take me ten minutes to do in texinfo.tex, then fine,
but it's more complicated than that and has great potential to break all
kinds of existing stuff. Not going to go there.
I'll review the text for the manual.
k
