Re: new grotty format

[Karl Berry]

    Karl, do we have someone who knows about terminals enough to give us
    advice about possible support of this in Info?

Nope.  I've barely touched the terminal output parts of Info.  Bfox
wrote them originally, of course.  Can't remember any significant
patches or bugs regarding them, either.  (And can't say I'm excited
about working on tty output, either.)

I've often dreamed of making info be a shell script:
#!/bin/sh
exec emacs -f info "$@"

(Well, ok, it's more complex than that, but you get the idea.)

What does SGR stand for?

Thanks,
k