vgdev/stable: links for coverage-reporter