Update coverage.html