Update: 3: Update: Xiaomi has started rolling out MIUI 9.5 update for select Redmi 5A users that brings all these new features. Xiaomi releases Stable Nightly updates to random users to get feedback and the same update is rolled out to all users as a Stable build if feedback goes well, in case you wish to read more about Nightly ROMs refer to this post.