chiark / gitweb /
Rationalise docs - get rid of README.notes