Juan Manuel Macías writes: > [...] Anyway, I think it would be possible to write some python > script[1] to extract the annotations and then parse the resulting xml > from there to get a nice and beautiful Org document. Which also leads > me to wonder if anyone has tried that.
I've found that org-noter has the `org-noter-create-skeleton' function, which exports PDF annotations to Org and keeps them in sync with the PDF (via pdf-tools). Tremendously useful! :-)