chiark / gitweb /
man: add a couple of crosslinks