|
After upgrading to 2.1.1, a small update: the txt file is no longer generated automatically, as far as I can see. I haven't yet figured out how to export highlights...
Although it is now possible to "embed" highlights into PDFs, which is much nicer than generating a second PDF.
|