João recebeu um arquivo em formato PDF contendo um relatório de vendas. Ele precisa editar esse documento, inserir comentários e fazer anotações específicas. Qual ferramenta ou recurso ele deve utilizar para editar arquivos PDF de forma eficiente?