Yes, it's my old machine that's the problem. So I'll get a new Windows 10, probably the HP Envy with the great display.
I want to be on mainline MIUI. Should I go back to the factory version for the Mi4i ... can it be downloaded and installed with TWRP ... or stay with the Ferrari version...