Commit ca35d468121a7ec60162155f9c3395068ca323d1

Paul Eggert 2017-09-13T00:48:18

all: prefer https: URLs