macOSをVentura 13.1にアップデート した。とっくにやってると思ってたら全然やってなかった。