I have flashed it and it works as it should but Xiaomi has silently removed the option "Double tap to lock Screen" , what a shame.
Edit: I was wrong, they just renamed that option to "Double tap an empty spot on the Home screen to lock" and you need to enable it on your own, also if you had the...