gPDFText is a nice and tiny text editor that can extract text from PDF files into a text document. Also, it can edit the existing...