chiark / gitweb /
man pages: fix typos