
The solution (for me) is to copy the text and post it into the word processor of your choice. I use Microsoft Word, but you can use whatever you prefer. This also allows me to format and edit the text as I like.
You probably know that Word can save files as a PDF.