Merge pull request #1672 from alex/https-all-the-things

Use HTTPS for a few URLs in the docs that support it