Clicking on the settings icon next to any extension within gnome-tweak-tools does nothing