Trying to copy text from a PDF and paste it into a plain text file is still, in 2014, terribly annoying. There has to be a better way.