Suggestion: Adding profiles like the old nokia phones did (not sure if they still do) where you can customize sound, vibration etc, and quickly change between them - there are many available in the market, but a native miui one would be great and adds to the miui customizations+
I appologize...