A Beginner’s Guide to Editing PDFs: Tips and Tools