Re: [GHC] #13076: GHC panics can cause text-formatting changes from colorized error messages to linger