Safari Extension "Clip to DEVONthink"

Auf einem Rechner ist die Safari Extension “Clip to DEVONthink” verloren gegangen. Ich dachte, man könnte sie über Module installieren neu installieren - aber es tut sich nicht. Wo bekomme ich die Extension her?

DEVONthink 3.0.1 / macOS 10.13.6

Die Extension muss weder installiert noch heruntergeladen werden, sie ist Teil von DEVONthink 3. Was für eine Safari-Version verwendet denn der Rechner?

Das müsste ich erst nachschauen - habe gerade keinen Zugriff auf den Rechner