@small* commands alias in HTML are problematic

[Patrice Dumas]

Hello,

The $small_alias transformation of @small* command names in 
Texinfo/Convert/HTML.pm is problematic, as it means that the commands
names in the tree and used in the call of processing functions are
different.  Another issue is that it is not possible to do something
specific such as adding a class in _convert_preformatted_command if
the @command is @small*.

Upon looking at the code, it seems to me that the main use for the 
aliasing is in 'preformatted_classes' stack and the $cmdname in 
_convert_preformatted_command.  Am I missing sommething?  I would be in
favor of using the $small_alias for that stack only, maybe by filling
differently pre_class_commands.  And then to determine the command alias
in _convert_preformatted_command and use it.

-- 
Pat