AFAIK, programmatic text highlighting on a webpage is achieved by wrapping it in some sort of tag, then attaching some identifier to that tag and styling it. From what I can see in chrome devtools, Ctrl-F doesn't do this, allowing it to be much faster by avoiding the overhead of updating the DOM, it seems?
How is Ctrl-F rendering those highlights specifically?