When indexing docs, ignore titles without bodies
When titles don't have IDs, add title and body to previous section
Tidied index_docs.pl