gnome-shell 3.8 Terminal Profile Search Extension