ありがとうございます。
さっきsafariのアップデートをしましたが、patcherが手を加えてないだろうものなら、気にせずインストールする。で行こうかと思います。皆さんもこんな感じ？
厳密に判断は難しいですけど。