I'm using Redmi 1S, and trying to understand how this works.
I've found in the ZIP file of the ROM a directory called recovery, with two files inside. As far as I understood, both are copied into phone, and I guess both would install Mi Recovery when system booted.
I saw also that /system/recovery-from-boot.p is renamed to /system/recovery-from-boot.bak, and I guess this is why Mi Recovery is not reinstalled.
If I'm not wrong, this is like that.
Again, if I'm not wrong, the renaming process of the file should be produced at the very beginning on the first system reboot after flasing ROM.
Is this appreciation correct?
Thanks for your help.