Re: [Clr-dev] Thoughts on using GNOME extensions?