Re: [GHC] #13444: Disable diagnostic coloring by default