On Mon, 2 Oct 2017 02:02:21 -0400 (EDT), Julien Fischer <jfischer at opturion.com> wrote: > > I would give both the Unicode name and the ASCII name where the two > differ, so: Ok, done. Peter