Adding coverage-html