On Sat, Jan 06, 2024 at 01:49:53PM +0000, Jean-Christophe Helary wrote: > Thinking out loud here, but @node currently requires the node-name > argument and has next/preious/up optional argument. It seems to me that > most of the issues would be fixed by adding a fifth argument that acts > like the cross-references' second argument (online-label). That way, > node-name can stay as it is and act as the pointer but is displayed as > "online-label", which is the translated part.
A document author can use @anchor to provide target text for a cross-reference which does not appear in the reader-visible part of the manual. I don't see that extending the Texinfo language is necessary.