This element is designed to be a "drop in once on the page" affair, but sometimes that's not going to be possible (for example, when a third-party element makes use of it that you're including on your page). Right now, this can cause a double-highlight where the highlight HTML is then highlighted.
I'd propose some kind of mechanism (shouldn't be too hard) that marks a highlight as already having happened and therefore not allowing other listening prism-highlighter elements to double up.
This element is designed to be a "drop in once on the page" affair, but sometimes that's not going to be possible (for example, when a third-party element makes use of it that you're including on your page). Right now, this can cause a double-highlight where the highlight HTML is then highlighted.
I'd propose some kind of mechanism (shouldn't be too hard) that marks a highlight as already having happened and therefore not allowing other listening
prism-highlighter
elements to double up.