chiark / gitweb /
Update links from http to https where possible