Re: [GHC] #13743: Colourise command output