I would be interested to know which gnome extension in particular are you referring to :)