Ah, comprendo. Lo acabo de usar por primera vez, no lo conocía, ¡gracias!
Seguramente no es lo suficientemente útil como para introducir un ítem más en las Opciones. Recordad que Chrome pretende ser minimalista.
A mi, personalmente, no me importa pulsar Ctrl+F, pero entiendo que lo echéis de menos. Me preguntaba si habría alguna extensión que hiciese eso y buscando search no veía nada, pero se me ha ocurrido buscar find y he encontrado una que parece hacerlo.
