Guys... I'm pretty new to the Xiaomi world, I got a Mi 10 Ultra recently and I asked for it to be flashed with the Xiaomi.eu ROM, I've gotten a few OTA updates (stable 12.1.1.0) for now, which I think is great. But I wanted to know if you would recommend me to update to 12.5 manually (is it...