Export PDF
Re-open exported
Markdown
JSON
Annotate the paper, then export.