chiark / gitweb /
man: show man page summary in index, too