If you don't mind an Electron or web-based app with a subscription, you could also look at Zenreader [0], Polar [1] or maybe even Readwise [2]. Zotero will also have a PDF Reader app with Markdown export soon [3]. And some cross-platform note taking / PKM apps also have some kind of PDF annotation support (directly: Logseq [4]; via plugins: Obsidian [5], Roam Research [6]).
That said, all these offerings are very different from each other so you'd have to look closely what fits best.