am 947134b3: Merge "Docs: Making the repo download link HTTPS"

* commit '947134b3327e4ea0612adc2b8b35ce0fd21fa622':
  Docs: Making the repo download link HTTPS