Comment 20 for bug 1759621

We know. There are 830 reports of this crash from 18.04 right now:
https://errors.ubuntu.com/problem/811164cadd3e9e891f9e2d439bda59925f91a62c

And globally this is the 9th most common gnome-shell crash for 18.04 (or 6th if you look at just the past month).