Since the website is solely serving pages over https now redirecting all http
requests, we should use https to avoid an extra redirect for users. Attached
patch updates the few http links found in various pieces of documentation in
the tree.
cheers ./daniel