[help-texinfo] texinfo → html @key and @kbd

[Jean-Christophe Helary]

I'm working on a CSS for the emacs related HTML manuals and I see that the 
@key{ } macro and the @kbd{ } macros are not converted the same way:

@key{...} generates <...>
while
@kbd{...} generates <kbd>...</kbd>

for ex:

For example, @kbd{Control-a} is entered by
holding down the @key{Ctrl} key while pressing @kbd{a}

gives

For example, <kbd>Control-a</kbd> is entered by
holding down the &lt;Ctrl&gt; key while pressing <kbd>a</kbd>

So, for @kbd I get a hook for a css customization, but for @key I don't, even 
though they play a similar role (besides for the fact that <...> is ugly...)

Is there a way to modify the conversion to get eventually something like:

For example, <kbd>Control-a</kbd> is entered by
holding down the <span class="key">Ctrl</span> key while pressing <kbd>a</kbd>

if we don't want to use <kbd> for @key ?

Jean-Christophe