chiark / gitweb /
man: file-hierarchy - minor fixes