夜が明けて、iPad mini 3のiOSも、無事11.0.1になっていた。
失ったものはひとつ。息子がいっとき気に入っていた、素数アクションゲームが、32ビットのまま放置されていたから、そいつを捨てなきゃいけなかった。