Among them, the Redmi Note 13 5G appears to be closest to a public rollout with the build OS3.0.0.2.VNQMIXM already in a near-stable state.
The update follows the Xiaomi 15 series, 15T lineup, POCO F7 Ultra, and Pad 7 Pro, which already received HyperOS 3 globally earlier this quarter.
You don't need the power button to restart your Android. If yours is broken or you simply want options, here are two.