To make the coverage report a bit more accessible and easier to navigate, this patch makes the coverage tests generate a new HTML coverage report (in addition to the classic variant).
