On Sun, Dec 04, 2022 at 12:29:35PM +0000, Werner LEMBERG wrote: > I disagree, since this means that two input characters map to the same > output character, which is against the term 'verbatim', isn't it? > Additionally, you get the wrong values if you do a cut-and-paste > operation.
Is there a reason you can't use @set txicodequote*? As I said before, I'm open to the idea of turning on @set txicodequote* by default.
