chiark / gitweb /
headers: fix git URLs for source files