Xiaomi’s fastboot and recovery ROMs for Redmi 9, Note 10, and Mi 11 series. Posts likely included:

If you actually have the or a screenshot of that 2021 post, paste it here and I'll turn it into a polished, gripping story for you.