The GUI tool mentioned in the article the author cites in his post is just awesome. It's a one-stop-shop for everything from debloating to flashing ROMs and recoveries for Xiaomi phones:

https://szaki.github.io/XiaomiADBFastbootTools/