FWIW, I think they brought back exporting annotated PDFs in the most recent version, 1.19.3
At least maybe there is hope for exporting your work to Zotero.