That's ok, I'll eventually figure it out ;-) So the culprit for me is the "system monitor" extension. Once disabled, it is not crashing anymore. (https://extensions.gnome.org/extension/1064/system-monitor/) As far as I am concerned, this is not a bug then. Thanks! Best, fred