chiark / gitweb /
man: add various links from man pages to appropriate wiki pages