Anyone annoyed by the lag animation of the gestures, I suggest everyone to write in the report about this issue, might fix it.
Here is an example: Hi, buggy, hangs, lags, gesture animations home on Redmi 5, Redmi 5 Plus, Redmi s2, Redmi Note 5, Redmi 6 Pro, Mi 6x.
Please fix.