chiark / gitweb /
docs typo fixes