Yes that's right.
And the Xiaomi.eu builds have been adequately modified for use by those outside China with Gapps pre-installed without those apps that I mentioned which are bloatware to us who are outside China.
Kind regards.
Fundamentally the Global Stable ROM is meant for the global users and the China Stable ROM for users in China. The latter has lots of apps that are only useful for those in China and by default it does not have Gapps pre-installed.
However the choice to go back to the global is yours!!! ;)
Unofficially it already has got Android 8 please check XDA Developers Forum.
See last section of this post from my blog:-
http://mymidiary.blogspot.com/2017/12/miui-9-week-16.html
Blogging about a minor update like the release of this week could be 'troublesome'. Let's check out this analysis on http://mymidiary.blogspot.com/2017/09/miui-9-week-7.html
Kind regards. ;)