That’s a good mention. And indeed there seem to be a PDF annotation spec, which I gather from this PDF annotation import description page of a tool and annotate PDF with JS guide.
Then cost of getting it done seems manageable and value’s way more. +1 for having it as part of Logseq.