On Sun, Mar 13, 2022 at 8:34 PM Bart Schaefer wrote: > > makeinfo (GNU texinfo) 4.8 fails > texi2any (GNU texinfo) 6.7 works This repairs the cross-references. texi2any seems to be too forgiving, because these really were wrong.