It would be nice to allow downloading highlights

[sr1920]

This is not really an issue, but a very useful feature that could be added to the tool: the possibility to download as a .txt file the real highlights associated to a PDF. These real highlights were introduced with version 2.7 of reMarkable. Along with the current "Download" option we could have a "Download highlights" option.

I think that this is a great tool and adding this functionality would make it even better!

[bruot]

Hi. Yes, this should be possible. Since version 2.7, the rM creates a *.highlights folder for documents with highlighted and recognized text. Inside, JSON data contains the text snippets (more info).

More generally, the context menu could offer more actions that it does at the moment.