chiark / gitweb /
tidying and docs