Re: When should we put @key inside @kbd?

[Karl Berry]

    I'm leaning towards agreeing, but I'd like to see
    if anyone has an argument for the other choice.

FWIW, I lean towards agreeing too, and have no new arguments. -k