Use https for download links

[erik-whiting]

Fixes #2403

[matentzn]

@balhoff says to risk it and merge it. I am risking it now. If things break we can roll back.

[kltm]

I wish I could find the other issue where we had the discussion, but I would note that having a text link that looks like a URL and then having the actual link go elsewhere is a common trigger for "bad actor" systems, which can affect SEO and some browsers (and/or plugins).

[nlharris]

Is this the other issue you're referring to? #2346

Agree that a URL that links to some other URL looks dodgy; why is that necessary? Why can't they match?

[kltm]

@nlharris Alas, no--I was an active participant and there was more context and conversation about the specific issue of text vs URL (vs IRI).

[matentzn]

@kltm this is the issue you are thinking: OBOFoundry/purl.obolibrary.org#705

We are not though linking a URL with http to one with https. We are linking an ID string (like mondo) to the HTTPS download link, precisely because otherwise, Chrome blocks the http link we previously had..

[kltm]

@matentzn Alas, not that one--I may be thinking of a slack convo or otherwise. Hm.

Thank you for the clarification--my misunderstanding of "id" in this case. Note withdrawn.