yanzhuohao/pytorch-cu118: links for mypy-extensions