I emphasize with the author: switching from Android to iOS was an abysmal change in terms of keyboard quality. I installed GBoard which is way better but the experience is not the same as with a default keyboard.
FWIW, o4-mini-high does not feel better o3-mini-high for working on fairly simply econ theory proofs. It does feel faster. And both elementary mistakes.