"MiOS" refers to the operating system skin used by Xiaomi (formerly MIUI, now evolving into HyperOS). "Haimawan" (which translates roughly to "Sea Horse Bay" in Chinese) is the internal name for the theme and resource backend used by Xiaomi.
Why do tech-savvy users go through the trouble of accessing these specific servers? The answer lies in the stark difference between the Global and Chinese versions of MIUI/HyperOS.
On iOS, you may need to install a configuration profile from your device settings.