Editing PDFs for students