No sé si es un error o que yo no sé cómo funciona la búsqueda estricta.
Acabo de buscar "MIra" para corregir esa secuencia que tenía la mayúscula y me devolvió secuencias con "Mira" y "mirad". No es muy estricta la búsqueda estricta, ¿no? ¿Por qué no incluir las mayúsculas además de las tildes?