Re: terminal escapes in Info files?

[Richard Stallman]

    > If we combine this idea with the idea of using an ESC character before
    > each <...> sequence, perhaps the result could be such that we can make
    > the info reader handle old info files correctly also.

    I doubt that.  Currently, unless invoked with the -R switch, the
    standalone reader converts ESC into the ASCII string "^[", but doesn't
    remove anything else.  So you will see "^[<...>" for each such
    sequence.

We are not talking about the same question.  What I said is that we
*could* make the info reader which handles the new version of the
format continue to handle old info files correctly.

Your example seems to concern new info files and old info readers.  It
is impossible for the new info format, whatever it is, to work in old
info readers with no change to them.