Are extensions that disabled other extensions ok?

You guys are amazing, thanks for checking it out! Will report it to the dev.