root/pypi: links for mypy-r