It was not even published until minutes ago :) By now it is - https://chromewebstore.google.com/detail/highlighter-extension/dfhmehiahpefcffojiocmodpapdbglfc ht

It was not even published until minutes ago :) By now it is - https://chromewebstore.google.com/detail/highlighter-extension/dfhmehiahpefcffojiocmodpapdbglfc https://chromewebstore.google.com/detail/highlighter-extensi... Conceptually it's just CSS Highlight API + mutation observer, nothing to boast about too much.