yanzhuohao/pytorch-cu117: links for mypy-extensions