Many thanks, @ahmadnaser16an! I’ll be sure to promote this far and wide.
Also, any chance support could be added for custom highlight colors so a developer could let users pick from a list of colors? That’d be the “holy grail” of highlight text tools on my search. 