chiark / gitweb /
man: actually generate h2 headers for letters in index as we meant to