I hope your gf device code name is sweet. There are latest versions available as you can find here. https://xmfirmwareupdater.com/miui/sweet/
If you want the latest version of Android with recent security patch, try lineage os or crdroid. But you have to unlock the bootloader and spend little time tinkering on it. You can find a lot of YouTube videos with step by step instructions. I have a device that runs on crdroid with Android 14.
I'll take this advice when I have the money ๐