Re: [Crash-catcher] Proposed change in plugin configure GUI machinery