> 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.
