Get rid of indexing commands.

I think everyone who'll want to search for a term can just search the
PDF version.  Plus, who am I to decide what terms should be indexed?