pdfgrep: let the sourceforge exlib handle download url