Merge "Docs: Making the repo download link HTTPS"