You made me go back to read the first note.
Unsure about the warnings regarding TWRP as Ive been using OrangeFox since the first beta release.
But afaik, the issue with decryption was not related to formatting, but moreso with MIUI addding keymaster 4.1 encryption, (as you've posted above), with Android 11.
I did have a quick look through the TWRP Gerrit and keymaster 4.1 support was merged in May so anyone who builds a new TWRP build should have a working recovery.
In any case, it's nothing that is fixed with reformatting.