The bottom download link points you to GitHub, where you can get exes straight from CI, if you trust that more.
I've looked into getting https from my site, but there's always a high cost associated, if you want a certificate that's widely accepted (which doesn't seem to hold for the free ones). And I think my host isn't even compatible with free ones.
If the web wants HTTPS everywhere, this somehow needs to be made simpler/cheaper for non-commercial entities.
The current host is 1and1.. I don't think they support that, since they desperately are trying to sell you their own certificates. Also is shown on the certbot site with a big red cross :)
Either way, probably a good reason to finally switch hosts.