Before extracting highlights, would it be possible to turn the highlighted text into actual highlights within the pdf file and to save/export the pdf file? It would be perfect to simply import the pdf with proper hightlights/annotations in Zotero and to extract the highlights there...