Re: @verb issues

[Gavin Smith]

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.