We now use HTTPS everywhere on the website. The link would be anyway
redirected, but we may as well write down the good link directly.