Comment 24 for bug 1886059

I should probably clarify - I know that these three packages were part of the core extensions. However, I noticed that the timestamps for all of the core extensions were the same _except_ for those three. I reinstalled the gnome-shell-extensions package make sure they were correct, but those three extensions were not updated, or at least their timestamps did not change. I then purged the package and observed that those three extensions were still present, so I deleted them and reinstalled the gnome-shell-extensions package. I expected to see those three extensions restored, but they were not reinstalled.

As for the non-core extensions, I was planning to test them one at a time, but after taking the steps above I could not replicate the issue. Since that time I have not had any problems with gnome-shell crashing. If I could not repeat the issue with them installed, it seemed moot to removing the extensions one by one.