Comment by nymiro

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