Extract Highlights Plugin

Definitely. Looks like we all have different preferences on how we define a highlight. For @santi it’s <mark></mark>, for me it’s ==

I’ll see to build in ** and let you know when it’s ready!