Re: [GHC] #9752: Output unicode characters on Windows (was: Output unicode characters)