Re: [GHC] #9752: Output unicode characters