I haven't had much luck finding a good answer. How happy are you and others with Pixel's auto-punctuation (Gboard only)? Does it work in other languages besides English? Do you keep it on or off, and why? My S24 Ultra's been a pain lately—I hate Samsung's keyboard, and it's the only one with reliable auto-punctuation for voice typing.I'm just trying to understand what I'm missing out on.