Fixes #9337
* use https everywhere * use https links on the files that are left Also, removed some broken links and updated redirections.