Guido(_dot_)van(_dot_)Rossum(_at_)cwi(_dot_)nl writes:
So I think we should be very careful with adding notations for "funny"
characters (no offense meant), and in fact I second Nathaniel's motion
for leaving character set switching out in the second try (I thought
that had been taken out of the draft long ago???).
Well, maybe we already have the notation in MIME suite standards.
RFC1341 richtext is encoded in a character set, and RFC1345
character sets are defined that allow mnemonic encoding, which is
regarded as character sets. Bingo, job done!
keld