Highlighting added to @instapaper is very cool I wonder if I can import into @papersapp in the future…