Since this update I notice the last option of the Developer options was "Turn off MIUI optimization", which is new because I've never seen this before, and googled for it but no results. I tried turning it off, it said there would be some major change in layouts and other elements of the UI, but...