A scripting front end to the Panda PDF generation API