Re: real subscripts and superscripts?

[Karl Berry]

    > I can add these to texinfo.tex and texinfo.texi, etc., easily enough.
    > Do you have time to add it to makeinfo?

    Yes.  

Great.  I will work on it next week.

    For HTML cross manual I propose doing the same as for "style"
    commands and key and kbd, that is replace by the content.

Agreed.

    Also in raw text, I propose using content as is without any formatting
    (used for instance for file names, for index sorting).

Fine.

Thanks,
K