Ben Wiederhake 52e9f25403 Everywhere: Change from http to https where feasible ... I used "git grep -FIn http://" to find all occurrences, and looked at each one. If an occurrence was really just a link, and if a https version exists, and if our Browser can access it at least as well as the http version, then I changed the occurrence to https. I'm happy to report that I didn't run into a single site where Browser can't deal with the https version.		2021-10-05 02:08:08 +02:00
..
man	Everywhere: Change from http to https where feasible	2021-10-05 02:08:08 +02:00