Highlighting improvements

We’ve built a new highlighting interface to address longstanding pain points like adding multiple tags in one go and browsing by groups. We’ve also rewritten the way highlights work. Now you can copy, pase, undo, and redo highlights, and the whole experience should feel snappier.