Re: [GHC] #13342: Core Lint warnings are emitted on stdout rather than stderr