TomHenson
You talk about App Vault?

yes, I've learned that it is called App Vault and it's gone for global  Miui in favor of google discover. 😢 sad decision. I would like to choose between both.