Also the download files themselves can be hosted on Github repos as releases which supports TLS.
If the original website is insecure, everything could be faked, including the link to the releases page.
If HN readers don't understand this, who does?