Zotero with Zotfile to extract highlights, highlights get sent to Devonthink