Gboard accélère encore la frappe sur Android avec un nouveau raccourci pour insérer des caractères en un clin d’œil.