Xiaomi's MIUI has multiple regions its based on (Global, China, etc.), that depend on where the device is being sold in. In order to update your device

Like most (if not, all) Android phone companies, Xiaomi gives its devices codenames. These codenames are given to devices internally to identify them, and

Xiaomi occasionally publishes Mi Pilot applications. This is to allow users to test and experience global beta updates. If users see bugs after experiencing

Xiaomi just rolled out a new MIUI 13 update for the Redmi Note 10, with some major bug fixes.