The ROM is xiaomi.eu
xiaomi.eu_PERIDOT_OS1.0.13.0.UNPCNXM_14.zip.
And the bad recovery is OrangeFox unofficial, actually the
"Aqua" version clearly labeled as UNSTABLE on its creator's github.
Unfortunately this information was not forwarded on
that page from which I downloaded it.
And that's why my phone is now unusuable until a stable version is released. I wish I had the info before downloading the flawed recovery.