chiark / gitweb /
Docs and comments fixes from James H.