Instapaper has highlighting, which I can later export to Evernote etc