That did the trick. I’d done million iOS 12 app updates on the phone and the big iPad, but not the mini. Thanks Rose!