team/pytorch-cu124: links for mypy-extensions