[Simons Mith]

Yes, generated and regenerated a few times while experimenting. All terms have been added manually so far. The Index Editor isn't proving very useful in this book because many of the terms to index are very mundane, and I only want to index the places where a term is defined, rather than everywhere the word happens to show up.