Duplicate index entry

[benjub]

There are two index entries for "minimize_with command". This was noticed, see line 4520 of the tex file. Since the misplaced index entry corresponds to an occurrence in a footnote, I suggest deleting the "\index{...}" on line 8046. And maybe also the \index{...} on line 4519 could be moved up to the occurrence on line 4484, and the comment on line 4520 be removed.

Also, the option "/brief" on line 4485 is not valid anymore, so I suggest simply removing it.