chiark / gitweb /
man: include number of man pages in index page