It appears this crash stopped occurring after Ubuntu 17.10. See:
https://errors.ubuntu.com/problem/685b1f09a620aa3b892715d4eb6e43895ca64b76
** Description changed:
+ https://errors.ubuntu.com/problem/685b1f09a620aa3b892715d4eb6e43895ca64b76
+
apt-cache policy gnome-shell
gnome-shell:
-
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1770875
Title:
** Information type changed from Private to Public
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1770875
Title:
gnome-shell crashed with signal 5 in g_main_context_new()
To manage notifications
