myexport.koplugin Plugin for KOReader, for exporting highlights in various formats (JSON, Markdown, text)