The Joy of Index

OK, “Joy” might be the wrong word – unless we modify that title to “The Anticipatory Joy of Finishing the Index” or “The Joy of Finding a Great Index.”  Creating an index can be a mind-numbing slog, and creating it while checking proofs (as I am doing right now) doesn’t make it any more fun.  But