Re: spec for @inlinehtml etc.

[Karl Berry]

    But having a new context in which the only recognized @-commands are
    the @-commands escaping @, } { and , should not be that hard.

(and \)

But what about switching to actually executing "most" commands, when
they make sense?  Since that is what C makeinfo did, apparently.  How
hard would that be, any idea?

If that is a lot harder, we can try accepting the "character" commands
only inside raw text, and see what happens with users.  It would mean a
discrepancy between texinfo.tex and tp, but that doesn't seem critical.

k