chiark / gitweb /
update web-page to show where source can be got via git