On Sat, Mar 24, 2018 at 11:24:45AM +0100, Ben Franksen <ben.franksen at online.de> wrote a message of 17 lines which said: > FWIW, this particular wart will be removed in the next release. You mean Unicode characters will always be displayed properly or will never be displayed properly?