chiark / gitweb /
proper revision ids etc.