Support for "Save selected text" from PDF (via pdf.js)