Spotlight on pdfly, the Swiss Army knife for PDF files