Gboard corregge un limite storico: la dettatura vocale sta per diventare molto più comoda su Android