Links for mypy2sum