chiark / gitweb /
minor docs change