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 é: