例によってあまり考えることなくiOSをアップデート。微妙に、ソフトウェアキーボードの文字が太くなっていたり、そのほかのごく細かいデザインの修正はどうでもいいといえばどうでもいいのだけれど、Touch IDの効きがえらく悪くなった感じなので、これはしまったと臍を噛む。
だがしかし、いったん登録済みの指紋を削除してやり直してみたら、そもそも登録手順に微妙な変更があって、結局のところ感度のほうも上がっているみたい。再登録を強く推奨。