Re: serious flaw of @c

[Karl Berry]

    No, neither in old legacy encodings like JIS X 0208 or Big5 nor in
    UTF-8.

Excellent.  I'll add it.  

Patrice, please add 0x7F as a comment character (ignore to eol) in
texi2html, too.

    Non-ASCII?  0x7F *is* part of ASCII since the very beginning!  

Yeah, yeah, I know.  I misspoke.  What it's not part of is printable
ASCII.  I doubt that mailing files containing DEL's around is very
reliable, for example.  But that's ok, if some document really needs a
true comment character in TeX, at least it'll be available.

Thanks,
Karl