Ideally, you're right. But this is the way gnome-shell is designed. So the options we have right now are either to let extensions do anything (break anything), or to disallow all extensions.
Ideally, you're right. But this is the way gnome-shell is designed. So the options we have right now are either to let extensions do anything (break anything), or to disallow all extensions.