Hosting: enable HTTPS on the sourceforge site

[promovicz]

SourceForge has had Letsencrypt support for a while. You only have to enable it and fix all links in the (generated?) HTML.

They did not want to turn this on by default because it would break things. See this post by the president of SF:
https://twitter.com/loganabbott/status/1460317442438144002