Puppet module for pdftools