Okay, looks like my new bug in 1859890 was closed as a duplicate.
As I mentioned in that bug, I both removed the extensions mentioned *and* disabled extensions entirely in GNOME Tweak. I ran into the bug in 1859890.
Hopefully that gives you some more information and shows that the issue exists in plain GNOME, not just when add-ons are installed.
Okay, looks like my new bug in 1859890 was closed as a duplicate.
As I mentioned in that bug, I both removed the extensions mentioned *and* disabled extensions entirely in GNOME Tweak. I ran into the bug in 1859890.
Hopefully that gives you some more information and shows that the issue exists in plain GNOME, not just when add-ons are installed.