koreader/koreader — pull request #1004 by chrox (2014-10-16 10:26:48+00:00)
Title: add option to export highlights to local HTML files in Evernote plugin

This should close #957.