On Sat, Feb 19, 2022 at 06:04:32PM +0000, Gaël Bonithon wrote: > Does not work for me (I'm on Arch Linux, Texinfo 6.8):
Just saw this bit. I will have to test with Texinfo 6.8 and see if the issue replicates itself. If not, then there is likely some unresolved issue.
