Pessoal, estou aqui só para fazer uma reclamação: essa funcionalidade que o guj implementou agora de abrir uma caixa de busca própria quando se pressiona CTRL-F no browser, sobrepondo a busca padrão, é terrível. A busca é lenta demais, quando a gente da um ctrl - f a intenção é buscar algo na página da maneira mais rápida possível. Se é pra ter um outro campo de busca, tudo bem, mas fazer o usuário perder a funcionalidade do “ctrl F” do browser não é uma decisão sábia. Peço que reavaliem.
Meu CTRL + F aparece a busca do browser mesmo. Não consegui reproduzir o que você disse.
Uso Ubuntu + Chrome.
Pois é, voltou ao normal agora. Ao que parece era um bug e foi consertado.