> Date: Sun, 9 Jan 2022 10:30:18 -0800 > Cc: bug-texinfo@gnu.org > From: Per Bothner <p...@bothner.com> > > I don't know what we do if case-folding leads to a name clash,
AFAIU, it does. This is a long-standing problem with Texinfo. It was solved at some point, but the solution was lost when we moved to texi2any from the C implementation of makeinfo.
