OK this now uses @Canapin’s suggestion to use the built-in <mark> and corresponding CSS defaults.
Also it now provides settings to override both the Highlighter (background) color and the color of the text in the highlighted portions. Thanks to @Lilly for that conditional CSS.