Tiny JavaScript plugin for gighlighting and replacing text in the dom
highlight-textreplace-textdomhr-js
https://mburakerman.github.io/hrjs/