Update URLs

[jsoref]

Description

Generally https urls should be preferred over http urls. Also, live urls should be preferred over dead ones.

Note that I tend to leave distinct changes as distinct commits as it makes it easier for me to drop things that groups don't like. I'm not attached to any of these individual changes, nor their structure. I'm happy to squash, although I prefer to do that after the changes are accepted (and I'm happier to let someone else squash and pick a commit message).

How Has This Been Tested?

I used a simple script that checked to see if it looked like pages were available via https:

check() { curl -I "$1"; curl -I "$(echo "$1" | perl -pe 's<http:><https:>')"; }

And had a handy script to update them if they did:

update() { rs "$1" "$(echo "$1" | perl -pe 's<http:><https:>')" "https"; }     

For a number of things that failed or provided redirects, I followed them.

Note that I left a handful of dead dangling links as http (and msys insists on using http, so...)

Types of changes

• [ ] Bug fix (non-breaking change which fixes an issue)
• [ ] New feature (non-breaking change which adds functionality)
• [ ] Breaking change (fix or feature that would cause existing functionality to change)
• [x] Documentation change
• [ ] Test suite change

Checklist:

• [x] I have read the CONTRIBUTING document.