Re: [GIT PULL 00/10] perf/cover improvements and fixes