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

[Eli Zaretskii]

> Date: Sat, 1 Jan 2022 16:46:09 -0700
> From: Karl Berry <karl@freefriends.org>
> Cc: jwiegley@gmail.com, michael.albinus@gmx.de, rms@gnu.org,
>  bug-texinfo@gnu.org
> 
>     There seemed to be a general feeling in the 2018 discussion I linked
>     to that consistently unslanted fonts are good for @key.
> 
> Then
> @kbd{foo @key{RET} bar}
> 
> would have "foo" and "bar" slanted (by default), and "RET"
> unslanted. That seems weird to me. But whatever. -k

Ideally, @key should be displayed in HTML as a picture of the key, not
as a text string.  In that case, slanted style has no useful meaning.