Would you find it useful to have an "Edit bookmark text" option that would allow you to make changes to the text of a highlight? Sometimes the text of a pdf file is not recognised correctly and I would like to be able to make corrections to the text of a highlight. This feature would also be useful if we would like to export the highlights so that we have the correct text in the final file.
Have you ever had the same need?
I've made a
request for such a feature on github, but unfortunately had no practical response so far...