Re: terminal escapes in Info files?

[Richard Stallman]

    rms: I am actually coming to believe that using the raw terminal escape
    sequences is as clean as anything else in this particular limited
    context.

I firmly disagree.  Perhaps it is a good idea to use ESC to start
these sequences, so that nothing in existing info files needs to be
changed, but we should certainly use something easier to understand
than those irrelevant ASCII escape sequences to specify the meaning of
the markup.  We do want to specify things as a higher level, not the
terminal colors.  And we should use a clean syntax, perhaps HTML
markup constructs.