Hello,

This patch is a follow-up of ng0's patch, which changes the 'http' link
in the bottom the download page to use 'https'.