I use 3.5.2, my device isn't encrypted so I don't have that problem... But as you are formatting data, it doesn't matter, so just hit cancel when prompted for decryption and format data.... Make sure you copy any files you want to keep to your PC before formatting though!Hi nelvinchi,
Thank you for providing me with more specific instructions. I appreciate it.
I do however believe 184.108.40.206.QFKEUXM is exactly the ROM I had installed. It's still in my downloads folder: miui_RAPHAELEEAGlobal_V220.127.116.11.QFKEUXM_3196ecbabe_10.0.zip
Meanwhile I found Android 11 here: https://xiaomirom.com/en/download/redmi-k20-pro-mi-9t-pro-raphael-weekly-21.4.29/ now my "Xiaomi" phone is called "Redme" during boot.
Again bootloop however.
I will try again and make sure I FORMAT data partition. What TWRP did you use? I have 3.5.0 and 3.5.2, both can't read each others' encryption.