k40s

I'm genuinely wondering why we have HyperOS release for Redmi K40S/POCO 4 (munch). I've been looking for official HyperOS releases for this device and found none, yet here it is with xiaomi.eu. I want to know if it's safe to update and if there would be any updates for that in the future (since...