You're right. It's not an android, it's a Google feature. Often changes are made when a new version is created. For example, to reduce power consumption. Sorry for the translation, this is translate.google. I didn't study English.
Hello, what is the md5 of the file? xiaomi.eu_multi_MI8_V12.5.2.0.QEACNXM_v12-10.zip for MI 8
how to check the correctness of the downloaded archive?
example: portal.mi-room.ru/roms/
Mi8_MIUI_V11.0.7.0.QEACNXM_MiRoom_10.0.zip