Re: any shell extensions preferences can't be opened unless "gnome-extensions-app" is installed first