Follow-up about this bug: Upon removal of gnome-shell-extensions-gpaste/stable,stable 3.30.2-1 all the crashes have ceased. I also have the impression that the crashes started at about the same time as the installation of this package.