PDF Snipping Tool: Cut Text and Graphics Out of Any PDF File