On Wed, Mar 08, 2023 at 10:16:02PM +0200, Eli Zaretskii wrote: > > From: Gavin Smith <gavinsmith0...@gmail.com> > > Date: Wed, 8 Mar 2023 20:11:02 +0000 > > Cc: Patrice Dumas <pertu...@free.fr>, bug-texinfo@gnu.org > > > > It is to affect URLs, not for the main text of the document that the user > > would read. > > If it's _only_ for URLs, then it could be OK. But beware of clashing > due to case differences that will have disappeared because of this > change.
Indeed, following this change, the following two nodes will clash while they did not before @node my node @node my @sc{node} However, I consider it better if the two nodes clash. -- Pat