Commit 09c7f53e3f87a0f819d9478e378d1d9f1855841a

Paul Eggert 2017-09-16T18:08:05

Fix a couple more http: URLs