Does the description mentioned here https://new.c.mi.com/global/miuidownload/detail/guide/1 work for updates Redmi Note 10 Pro 64GB from v13.0.16.0.SKFMIXM to v13.0.18.0.SKFMIXM? Should the file miui_SWEETGlobal_V13.0.18.0.SKFMIXM_084b1b925a_12.0.zip be renamed to update.zip?