>> However, I've tried to fix it in commit bdb7f23072 (texinfo.tex
>> version 2023-01-11.18).
>
> It works, thanks!
Mhmm, more tests show that for `@code{foo--bar}` there is no
`@discretionary` after the two hyphens. Is this intentional?
Additionally, I wonder whether the same logic should be applied to
`_`. If you want to document, say, C prepocessor symbols, you will
have tokens like `_foo` or `__foo_bar`, and `texinfo.tex` happily
inserts `@discretionary` after all of those underline characters.
Werner
