hi. Thanks for miui9!
so far no bugs on Ido (redmi 3pro) coming from 7.3.9 via dirty flash.
i also tried the video app. i can't confirm app crash as some reported.
only annoying things are the new button functions (i hope that someday short press menu to open menu will be available again ;))...