On Thu, 17 May 2018 01:24:09 +0100 Michael Everson via Unicode <unicode at unicode.org> wrote: > It sounds to me like a fault in the keyboard software, which could be > fixed by the people who own and maintain that software. We had this discussion a few years ago. See http://www.unicode.org/mail-arch/unicode-ml/y2015-m08/0036.html. Richard.