Mac mini で使っている OS はいまだに Mojave (10.14)．32bit アプリが使えないと困るのでアップデートせずに Mojave を使い続けていました． けど，さすがにサポート終了になったみたいなので，OS アップデートを検討中． 32bit アプリを使うのをやめるのが…