Thanks for that PDF info Michael. I had always assumed somehow that those "vector" types you describe were just stuff that was too old to originate in digital form and thus had been scanned rather than converted and formatted to PDF.
BTW- As much as I like a good paper book, that search capability easily balances things out. Drives me crazy when a PDF can't do it (that, and the index page numbers that don't match the document's).
