I am working on a highlighter in js and want to know/understand how other highlighter extensions do it. They all seem to assign an id which looks like a random number to the