I have this version in mi9 and work well, only a bit battery drain more than stable.
This morning I received advise of update version 9.4.1.
I think new versions exit on Friday, have to wait tomorrow and take from here or can make upgrade directly from phone?