$小米集团-W(01810)$ MIUI13终于有消息了，整体流畅度提高了不少。