chiark / gitweb /
man: add more man pages