Re: texinfo bug or user error: dots inside example

[Karl Berry]

    This isn't valid HTML 4.01

What's not valid about <small>?  It's also used for @sc.

Anyway, there's nothing deep about the <small>, it was just inserted
because someone (I'm not sure who any more) thought the ... looked
better that way.  (See cm_dots in makeinfo/cmds.c.)  What do you suggest
be output for @dots (and @enddots)?

Thanks,
k