Known Vulnerabilities in GitHub Coverage Reporter