a1287f0
Use https instead of http in links This is the modern way, and also removes many warnings from `check-links.sh` output.