I have Seamonkey and the default Gnome browser (epiphany) installed, none of which seems to be compatible with the Gnome shell extensions plugin system.
Is there an alternative way to install shell extensions? Possibly by customizing the gnome-shell-extensions package? thanks, raffaele