I'd define it as "never have zero packages that provide a DE". This could be a global setting in the package manager which you would be able to set to `false` i

I'd define it as "never have zero packages that provide a DE". This could be a global setting in the package manager which you would be able to set to `false` if so desired.