Nu har vi lärt oss om MIUI 12.5, den nya versionen av Xiaomis anpassade gränssnitt som lovar inte bara förändringar ...