Re: [GHC] #12927: Colorized error messages result in hard-to-read .dump-* files