I’ve been using PDFpen Pro for a long time. Recently it’s been jerky in navigating pdf’s made using Apple’s ‘export as pdf’ tool in Safari. To my dismay I find its web site thoroughly unhelpful. Any recommendations for a simple app that will let me select and copy text in a pdf to use elsewhere?