Re: txicodequote* and @samp

[Karl Berry]

    Is there a good reason that @samp ignores these settings?

I'm sure I had a good reason at the time :), but I admit I can't think
of any now.  Will research ...