Comment 3 for bug 1813674

Sorry, I don't want to work without all of these extensions until the very same crash happens again. Some of them are essential to work flawlessly.

Also I've got a .crash-file here with 180 MB and there is a .uploaded-file beneath so I thought it was already uploaded to launchpad. I called `ubuntu-bug gnome-shell`, then it collected some information and opened launchpad to file the bug. So the new bug ID is the one in the title I guess. I also found all my uploads using my whoopsie-ID and here is the link to the file: https://errors.ubuntu.com/oops/1655e342-234c-11e9-9e6a-fa163ee63de6