Oh, that&#x27;s fine. You can just download it from one of those mirror sites that host their own copies of the files. You can trust that it&#x27;s genuine because of that big green checkmark on the page.