bsakaguchi/pytorch-cu128: links for mypy-extensions