@Natanox @TheEvilSkeleton
It is the same problem as with the old Firefox Extensions, if you are old enough to remember the pre-webextension times: An extension in GNOME is just monkey patching javascript into the process. If that goes wrong, tough luck.

Of course: GNOME could go the same way as Firefox and present an extension API but I can already hear the cries as this would definitely not allow for many things currently possible.

So which do you prefer?