Some simple scripts to do things to pdfs