Re: exception for @kbd for @codequotebacktick?

[Karl Berry]

    This seems strange to me, as @kbd is the place where one would want 
    ` and ' to look like a real backtick or a real undirected single quote,
    and not only when cutting and pasting, but also in the output.

Hmm.  It seems strange to me too, now that you point it out.  It's easy
to change, but I feel I should make an effort to figure out why we did
it that way in the first place.  Maybe it was just "random".  Will check.

k