Why should I do that? It's still MIUI9, which is the cause of my issue. It's not the great modifications xiaomi.eu that caused it.
Also, please refer, again, to Post #1061 where I said:
I just flashed opengapps over again and again everything seems to work fine.
If gapps is really included...