chiark / gitweb /
man: add a mapping for external manpages