On Sat, Dec 17, 2022 at 12:31:23PM +0000, Gavin Smith wrote: > I am working on a change to do this but it still needs more testing. > > If needed, we could redefine @- to still allow a hyphenation > point by inserting an explicit \discretionary.
I've done this in the recent commit, texinfo.tex version 2022-12-17.18.
