Da funktionierten aber ja auch noch die "alten" Extensions. Nachdem man sich ja seit Safari 12 in macOS Mojave und nun auch in High Sierra besser aus dem Mac App Store bedienen sollte, fiel mir dieses erst vor einiger Zeit in der 10.14.0 Beta auf ...

Und weil Safari 12 ja nun inzwischen in 10.13.6 angekommen ist, kann (darf) man ja öffentlich auch darüber plaudern ...