Good advice - everything I've heard about FBReader makes me think that is what I'll use. I don't have any encrypted PDFs so perhaps I'll just set up a batch job and extract everything to a new folder as HTML. I guess that would be the best format to retain sufficient formatting...