chiark / gitweb /
update man pages for recent changes