Hay una versión nueva para el Redmi Note Pro 5G (garnet), la 2.0.206 VNREUXM, pero de momento solo está la ROM completa para instalar desde el móvil, disponible en la página que dejé post mas atrás, donde están las ROMs de múltiples países de cada modelo, y concretamente para el garnet,
https://hyperos.fans/en/devices/garnet
He probado a ver si había actualización, tanto en el móvil de mi mujer como en el mío, y nada, ni con región España ni con Andorra, con lo cual me he decantado en bajar desde el enlace previo la ROM completa, y haré la actualización forzada con ella, imagino que sea el parche de diciembre en base a lo que ya han tenido otros dos móviles Redmi de mi familia.
Un saludo