But most of the people that make this error are non-tachsavy Windows users. And while there is Microsoft's PowerToys[0] with the Quick Accent tool that does the same thing, I doubt many people know about it.

> on iOS

I think this works for any mobile keyboard (for example, AOSP's default keyboard supports that). In my language at least, the use of a capital letter with an accent is pretty rare, especially when we're talking about quick messages (which is what your most likely to write on mobile)

[0]: https://github.com/microsoft/powertoys