Download the extension from the GitHub repository.