Our code coverage reports have been off or broken or bad for a while now. With the latest bulk formatting (#1359) this got even more off. Try to fix.
