yanzhuohao/pytorch-cu126: links for mypy-extensions