ついにBigSurに上げてしまったので赤丸を消せた。
特に動かない物もなく困りはしていないが、しかし見た目の変化が大きくて、慣れるのに時間かかりそう。