chiark / gitweb /
initial checkin; mostly complete