> See new diffs against master here: > https://drive.google.com/drive/folders/1czVl2glLVoQiUOLu1mvnWh9hozivaPuC?usp=sharing > > I don't know. Some bad examples are gone, while new ones appeared.
Yes. It looks as if the URL code needs new implementation. Gavin's
work-around appears to be too fragile.
Could you please report back on bug-texinfo?
Werner
