root/pypi: links for github-issue-solver