chiark / gitweb /
update some http urls to https