Hier gab es etwas Gezicke mit der Erweiterung (7.3.2), die nach dem Safari-Update verschwunden war, nach nem Neustart ging es wieder wie zuvor.