chiark / gitweb /
man: fix links to external man pages