Re: Gnome Shell Extension manager/framework planned?