Hi all, I always go into developer option and set animations to 0x, but in Miui (additional option, battery, optimizes system performance) there is a further option to disable animations. What is the difference?