chiark / gitweb /
man: some clarifications