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
