Finalmente, resolvi usar o Recoll. Ele faz um bom trabalho em encontrar informações em arquivos. No entanto, a indexação é lenta e exige muitos recursos. Isso não é um problema se você não executar o Recoll como um daemon, mas apenas atualizar o índice manualmente quando não estiver usando o computador.