On Sun, Dec 04, 2022 at 03:08:36PM +0000, Werner LEMBERG wrote: > > As I said before, I'm open to the idea of turning on @set > > txicodequote* by default. > > This is a good idea IMHO.
I have done this in the recent commit 465b43edf9abc (texinfo.tex version 2023-01-08.15).
