After some of the last updates a problem has been created. When putting the cursor just before any existing word and typing a letter or additional word, the subsequent word will be overwritten. Is that depending of some new feature that can be deactivated, or is it a really annoying bug? I have observed that this happens when working with Google keyboard (Gboard), and not, e.g., with Samsung keyboard. However the same problem is NOT happening when working with Gboard + OneNote or other text-editing tools.
Thanks for your help
Ignacio
