Orphaning some gnome shell extensions