Repair coverage tests to make them work with coverage 6.1, which changed the HTML output format that the tests parse.