I tried a lot of custom roms including lineage.
Xiaomi.eu is still the best choice.
It's indeed too bad that this device is not so popular.
My wife has an redmi note 4X global and it's also faster than my mi5s.
Stability was a big improvement on my device after i installed the latest firmware...