chiark / gitweb /
typo fixes in man and comments