You're right, that's quite good.
My Redmi 4X is stuck on one from the beginning of this year which is why I started looking for custom ROMs apart from MIUI.eu but so far it was one let-down after another. I have no idea why the 4X gets so many incompetent developers, but it has a persistent...