Re: [webkit-dev] WebKitTools/Script/generate-coverage-data