Jim Jewett writes: > I realize that this is the traditional escape form, but I wonder if it > might be better to just use the character names instead of the hex > character codes. That would require changing the parser, no? Of all types, string had better roundtrip through repr()!