> From: Brian <http://www.cs..edu/~b> > Date: Sat, 29 Oct 2022 10:00:26 -0700 > > It's just now occurred to me that in the new world, where you can > directly search documentation, indices are becoming obsolete. When that > happens, a few people will lose their jobs, but maybe nobody uses the > index any more anyway. PDF files are searchable if you make them > properly. It's too bad in a way, because I'm proud of being a good > indexer, for an amateur. I still have a bunch of recipe books on our shelves, and good indices (based on ingredient) are invaluable. And I don't want to bring either a smart phone or a laptop into kitchen for fear of, you know, destroying the hardware.