[allio]

I want to edit those highlights I made, for example, deleting strike-out text

Currently, I have to open both viewer and editor, then copy some highlight from the viewer, paste and search in the editor, then delete that highlight in viewer, quite cumbersome