Use hex escape for non-ascii chars, now that the parser wants that. Good thing, too: some of the characters had been mangled by OS9->CVS->OSX roundtrips.
Use hex escape for non-ascii chars, now that the parser wants that.
Good thing, too: some of the characters had been mangled by OS9->CVS->OSX
roundtrips.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator