War das nicht so, dass Skim seit 10.12 einige Probleme mit der PDF Engine von macOS hatte?

Ich selbst bin ein begeisterter Nutzer von PDFpen Pro - ist allerdings nicht gerade ein Schnäppchen