If you aren't aware (I wasn't), xiaomi phones run miui which is somewhat different than stock android. Google miui before you buy. Or you have to be comfortable installing an android distribution.
Really? That's sad to hear, back in the Android 2.4 days I used to love MIUI and would flash it on my devices intentionally as it had so many features that weren't yet in Android. Quick settings, dial by letters, just generally nicer look and feel. I guess a lot of this has been integrated now, but damn, it used to be nice.
