Re: [GHC] #14711: Machine readable output of coverage