Remove unused Gnome-Shell extensions