I've got a mi 11 pro with Xiaomi.eu ROM pre-installed by the store since 1 year and I've been recently able to download a zip update from updater app since a long time (app crashed every time I tried to make an update since 12.5)
This is the filename ...