trovato, PDFTools 1.3

se ne usate o conoscete uno migliore, fatevi pure avanti