is there a utility that can search for or extract text in a pdf file and output to a text file, preferably command-line linux, but if not, other will do? 'string's doesn't quite do it. -bob