Eu tenho alguns PDFs grandes na ordem de alguns milhares de páginas cada.
Em vez de pesquisar constantemente com Ctrl + F ou manter um diretório de números de página, fiquei me perguntando se há uma maneira simples de marcar o texto nos documentos e depois filtrar com essas mesmas tags posteriormente. Eu gostaria de evitar escrever softwares para resolver esse problema, mas estou aberto para ouvir ideias sobre scripts ou XML.