bsakaguchi/pytorch-cu130: links for mypy-extensions