The webpage seems to support https:// by now but we only changed some of the links.
This is the reason why (for me) some pages are not working properly. E.g.,
I get no css here "https://llvm.org/foundation/" because of:
Blocked loading mixed active content “http://llvm.org/llvm.css
[explained here: https://developer.mozilla.org/en-US/docs/Web/Security/Mixed_content]
This patch would change all leftover http addresses to https, basically the result of:
replace 'http://llvm.org/' 'https://llvm.org/'
Are there objections or reasons not to do this?