AFAIK, el resaltado de texto programático en una página web se logra envolviéndolo en algún tipo de etiqueta, luego adjuntando algún identificador a esa etiqueta y dándole estilo. Por lo que puedo ver en Chrome devtools, Ctrl-F no hace esto, lo que le permite ser mucho más rápido al evitar la sobrecarga de actualizar el DOM, ¿parece?
¿Cómo está Ctrl-F representando esos aspectos destacados específicamente?