Thanks Lim-Dul, I tried this for Poco F3/Redmi K40 (alioth) but a clean install, and everything went okay. The clues you gave here were perfect! I didn't know i could execute the .bat directly from command line
I used this recovery from skkk, since the official 3.7.0 one couldn't decrypt...