wget https://pdfgrep.org/download/pdfgrep-2.1.2.tar.gz