Kyle Meyer <kyle@kyleam.com> writes:

> Pushed (8cc992f7b).

Thanks.  Here's a followup patch that converts most remaining http-links
to https.  All of them have been manually tested to avoid breakage.