bug: show prefs in gnome-shell-extensions-prefs