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.
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!!! ;)