TIP: Not Another PDF Scanner