chiark / gitweb /
man: add permalinks to subsection titles too