Links for progressive-mypy