Thanks Charles, I will investigate those avenues.


Just to be clear though, this is a case in which being able to locate every instance of a word is important to the investigating reader. The use of section headings would be a big help in locating particular instances, of course, but often it is the way a term is used elsewhere in the document that can really throw sand in the gears!