chiark / gitweb /
verify: if downloading from /repo/ fails, try /archive/