chiark / gitweb /
man: update resolved man pages a bit