It is technically feasible for me to sit in a random coffee shop and do a drive-by infection of .exe files downloaded via HTTP by arbitrary other people on the same WLAN. The same is not true for HTTPS, because I am not able to forge arbitrary SSL certificates.
Yes, there are problems with SSL, but to claim that "it doesn't do any good" seems wrong.
However, validating the signature properly involves you being certain of using the correct public key. This is the tricky part. Being in the PGP strong set helps with this. Using HTTPS gives you some confidence, but no protection against server compromise.
Once you do have the correct public key, however, you can be protected against server compromise for all future releases, too.
Or, at the least, you can verify that future releases are coming unmodified from the same origin.
[1] https://www.imperialviolet.org/2010/06/25/overclocking-ssl.h...
[2] http://blog.codinghorror.com/should-all-web-traffic-be-encry...