Links for mypy-extensions