Moved many indexterms out of paragraphs.

Finally I found out what inserted gratuitous spaces and
newlines in the PDF file: <indexterm> entries apparently
can mess up the PDF output.