Buenas, hace un rato me ha llegado la actualización 1.0.4.0 versión EU del Xiaomi 13 Pro.
De momento la única diferencia que he visto, además del parche de seguridad, es que te deja seleccionar cuántos iconos quieres ver en la barra de notificaciones (ninguno, uno o tres)