Great job writing up the prognosis. I've experienced a few subtly nuanced Gboard and text input bugs on Android with quite unintuitive and frustrating symptoms (eg. keyboard not coming up when it should, copy/paste context menus not coming up after selecting a lot of text, etc). It's kind of pathetic when a platform can't even get text and the keyboard right.