id names in HTML

[Gavin Smith]

On Sun, Jan 09, 2022 at 09:32:38AM -0800, Per Bothner wrote:
> A related change is that we should change how info node/anchor names are
> mapped into URLs to use standard %-encoding.  This would make URL cleaner
> and more readable.  For continuity, we could map space to '-', '-' to '%45',
> and other characters as in standard percent-encoding.  An initial '-' could
> be used for texinfo-internal ids such as the "-toc-foo" or "-def-printf".
> (I've suggested this before, I'm pretty sure, but I think it makes sense to
> co-ordinate these changes, at least for a specific manual.)

This would break existing links and still not make them that readable.

There may be scope, if you create a new URL scheme that is only used by
info.js, to change the encoding of node/anchor names, but I don't see
how.

The "-" prefix for internal id's could be a good idea - I think
(but never checked) that there could be conflict with internal id's
like index-Foo (for a index entry "Foo") and a node actually called
"index Foo" (unlikely, but possible).