OK, pues ya está arreglado todo. La nueva ROM se puede descargar
aquí, es el fichero cm-10.1-20130703-UNOFFICIAL-enrc2b.zip
Lo del Google Play ya funciona bien (he hecho una instalación sin full-wipe y las apps que me había instalado yo a mano con el Titanium ya han enganchado solas con Google Play y se están actualizando sin problemas).
Hay una funcionalidad nueva (creo): en el panel de ajustes rápidos se puede añadir la cámara, de modo que aparece una vista previa de la foto que vas a hacer directamente en el panel... os pondría una foto, pero no soy capaz de sacar una captura de pantalla de ese panel, porque se me cierra
... bueno, probadlo y lo veis; está bastante chulo, aunque no sé muy bien qué utilidad puede tener.
Luego sigo probando a ver qué tal la música y la cámara.