Ah!
Y otra cosa: aplicaciones del 4.2.
El otro día probé la cámara 4.2. y es una caña: pantalla completa y fotos panorámicas. Me descargué de no sé dónde el apk y una librería que había que añadir, y funcionando perfecta.
El gmail 4.2. también se puede instalar, eso sí, borrando el gmail 4.1 y sus restos.
Y el teclado 4.2. también, aunque el método swipe que tiene es un poco impreciso...