早朝8時から親父が来訪、「iPadがむにゃむにゃ」らしい

要は iPad mini 4 の 16GB モデルを
iPadOS 15.7.4 にしたいのだと理解し、1時間半かけてマックからアップグレードを適用

終わってみたら設定の肩にある赤丸を消せればよかったっぽいので、ちょっとモヤる