I’d love to have a way to export PDFs with their highlights so that I can share the annotated version of the PDF with friends.
Right now, the highlights are stored separately in the PDF’s .edn file, which isn’t a format in which I’d ever share the data (though it’s really nice for personal use!).