On Wed, Mar 08, 2023 at 10:16:02PM +0200, Eli Zaretskii wrote:
> > From: Gavin Smith <[email protected]>
> > Date: Wed, 8 Mar 2023 20:11:02 +0000
> > Cc: Patrice Dumas <[email protected]>, [email protected]
> >
> > 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
