Purported list of the first devices getting Xiaomi HyperOS 2 internationally leaks

Xiaomi unveiled HyperOS 2 in China yesterday, and along with the new software came a list of devices that will be receiving it as an update and a rough timeline of when it will hit each model. Today a purported list of the first international devices to get HyperOS 2 has been leaked. Rather confusingly, the list says all these phones will get the new skin "by Q1 2025" - that may mean "before Q1 2025", in which case it's better phrased as "by the end of 2024", or it could also actually (perhaps more likely) mean by the end of Q1, which is March 31. In that case, there's definitely a...