chiark / gitweb /
updates for TODO and README