You can use Gmail to convert a PDF document into editable text. To do so, send yourself a copy of the PDF file. Once received in Gmail, view the attachment as HTML From the HTML view, you can copy text as you normally do and paste it into the target application.