Add two more metrics for the benefit of the coverage report views.