What’s wrong with the GitHub download?