Я рассматриваю это скорее как расширение, чем как переопределение функции. Ctrl+F означает «Я ищу конкретную строку на этой странице». Но если текст есть в теме, но ещё не подгружен, вы его не найдёте, а поиск — найдёт.
Я считаю неразумным ожидать, что пользователь поймёт реализацию пагинации в бесконечной прокрутке. Поэтому ситуация, когда строка, которая на 100 % точно есть в теме, не находится, крайне нежелательна. Я предпочитаю мягко направлять пользователя в нужном направлении.
Двойное нажатие Ctrl+F тоже полезно, так как часто мне просто нужно выполнить нативный поиск по тексту.