Adjust text.cescape() to escape non-ascii chars, too. Trying to build a unicode escaper like this was misguided from the start; we'll do that later and separately.