Now I have an answer from xiaomi support: they say "just upgrade to v5". But if I'm right v5 started at miui 3.3.1, and I had 3.3.8 and now 3.3.15, and it's still there.
I let my guy in China know. It just takes a while, because he has to get everything translated by his girl who isnative...