At the moment, you cannot download a Document with your highlights applied to open in other apps.
However, you can export a topic, which will include all snippets and comments saved under that topic.
đ Note: PDF download with highlights is on our roadmap and will be added in the near future.