yanzhuohao/pytorch-cu116: links for mypy-extensions