Re:PDF Is the World's Most Important File Format
by feikname on Friday May 03, 2019 @07:22PM
(#19823141)
It does have indexing, which I frequently use.
If your pdf book does not have it, there's some readers who can add it. e.g. https://helpx.adobe.com/acrobat/using/creating-pdf-indexes.h...
I would rather have a plain ole html file with formatting flags than a PDF book.