Docs: more index entries for header lines