I am using the app to carefully annotate and mark textfiles that are stored locally on my computer. It's a kind of work into which might flow a considerable amount of time and effort.
It would be nice if I could copy-paste and/or export the result of such work into open office / rtf or any other widely used format, in which markings, annotations and text become all editable.
Besides I would like to save the work in a format that is not dependent on a long-lasting co-operation between a browser and an add-on.
There is a copy function but it works only for HTTPS-websites. While I can see a lot of reasons to keep it like that, I would welcome the function to always work on locally stored sites.
I am using the app to carefully annotate and mark textfiles that are stored locally on my computer. It's a kind of work into which might flow a considerable amount of time and effort.
It would be nice if I could copy-paste and/or export the result of such work into open office / rtf or any other widely used format, in which markings, annotations and text become all editable. Besides I would like to save the work in a format that is not dependent on a long-lasting co-operation between a browser and an add-on.
There is a copy function but it works only for HTTPS-websites. While I can see a lot of reasons to keep it like that, I would welcome the function to always work on locally stored sites.