Durante a elaboração de um extenso relatório sobre o desempenho de alunos, o auxiliar de escrituração cometeu um erro de digitação no nome de certo aluno. Após revisar o documento, percebeu que o nome estava incorreto em várias seções do texto. Para corrigir o erro de forma eficiente, decidiu buscar o nome errado em todo o documento e substituí-lo pelo nome correto, sem precisar editar cada ocorrência manualmente. Considerando a situação hipotética descrita, a ferramenta que o profissional utilizou para realizar essa correção de maneira rápida e eficiente é: