Are extensions that disabled other extensions ok?

[Dist]

Can you give us an example of an extension that exhibits the behaviour you’ve mentioned?