Bearing in mind that I am not of the technically competent type, from what I can see annotation produces three types of file: an image file with the blank page, an image file with the free-hand annotation, and an html file with the text of the highlights. I could not figure out where the device gets the instruction to actually highlight a piece of text (i.e. I could not find e.g. an image file with the grey lines). So what you can surely do at the moment is use a free programme like gimp to put together the two image files corresponding to free annotation (one as an overlay to the other), and then convert that to pdf. YOu can also import these more simply in another free programme like jarnal: in that case you can load already the wholedocument as background, and then just overlay the annotations you've already made. But I don't know how to integrate highlights, nor whether, once you have annotated with another programme, you can then export it back to the device. Short of porting the same editor/programme to both device and computer, one would need a converter. But again, I am all ears if anyone has a solution, and I'm sure the two of us are not alone