root/pypi: links for github-report