Alleged MIUI 13 power menu leaked in video and baffling unofficial MIUI 13 eligible device list includes the Redmi Note 4 and Redmi Note 8 but omits the Redmi Note 9 and
RedMi Note 4 / 4X: Get the upgrade of the stable Global version of MIUI 11 - News by Xiaomi Miui Hellas
Xiaomi drops software support for several devices including Redmi Note 4 and Redmi 4
Xiaomi: “Redmi Note 4 starts to get MIUI 9 Stable Global ROM in India.” | by Indranil Dutta | Medium
Xiaomi Redmi Note 4, Mi Max 2 get MIUI 10 update, still no signs of Android Oreo