tools.ietf.org is available over https.
Merge pull request #107 from dkg/master

tools.ietf.org is available over https.