あれ?Skim でもひっかった。
勘違いかもしれないけれど、 sudo spctl -master-disable するだけではダメだった。 一度再起動してからインストールし直したらうまく行った。
それで設定を元に戻したら、 以前から動いていた Emacs が動かなくなった。
???
忙しいときにとても困る。