Great writeup, always interesting to see people digging into issues like that in such detail. I work at Google and shared the article with the Gboard team. Thanks!