Pues he mirado en play store, y hay varios teclados con ese nombre. Esta el Lite, el pro, y el de Xiaomi.
El pro es súper divertido, tiene un colorido espectacular, flipante.
Ahora estoy con el de xiaomi y de momento va súper fluido, en comparación con el de gboard. Así que creo que me lo voy a quedar. Aunque no me gusta la idea de prescindir del de google, pero es que me resulta súper lento.