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

[Karl Berry]

    I found an inconsistency in the HTML output in the output for @key,
    depending on whether it was in @kbd or not. It would be slanted only
    if inside @kbd. 

Certainly that was an intentional feature, not a random "inconsistency".

Maybe @key should use the same font as @kbd, rather than always the
upright font, which seems to be what you've implemented now?

This relates to @kbdinputstyle. rms instigated that "different font"
(slanted for typewriter) for @kbd, back in 1997.  See ChangeLog.46 and
texinfo.texi for that. The stuff about @key should be in the ChangeLogs too.

If/Since you are going to undo all that, fine by me, but I suggest
1) to be sure and update the manual with whatever users are supposed to
do to get , and
2) it would seem strange to me for HTML and PDF/DVI output to behave
differently, which is what you seem to have implemented. Or maybe not,
I can't really tell.

Best,
Karl