Thanks to the dev for the effort. I'm coming from stock 12.5.5 Global unrooted. It worked just fine, actually way better than I expected, but I wanted to try MIUI.EU 12.5.14 to experience the difference.
One thing that strongly annoys me is the recent apps bug when a 3rd party launcher is used...