still more PDF tools