bsakaguchi/pytorch-cu129: links for mypy-extensions