On May 22, 2019, at 12:26 PM, John Rose <john.r.r...@oracle.com> wrote: > > (And <\ 0 0 2 0> is a disaster, which nobody but me seems > to want to address? Moving on…)
(That was supposed to be <\ u 0 0 2 0>. The claimed disaster is that some end users will reach for \u0020 and other forms of \u00XX and be mystified by their ineffectiveness. I wish we could fix this for text blocks, but I understand it's an extra cost.)
