Comment 9 for bug 1882353

(Thanks to everyone who is taking the time out of their day to look into this.)

I think I should note that I can't replicate this issue reliably. It happened "at random" and it didn't happen again since I filed this report. It's just that it wasn't the first time it happened and I saw others have similar issues. That is why I reported it.

Again I want to preface that the extensions shown in the list are the once which came pre-installed with Ubuntu 18.04 (iirc) and I never touched them. (I have some indicator apps but I assume you don't mean them.) I also don't understand why I should disable stock Ubuntu extensions that provide basic functionality like the dock. Would you consider disabling the dock a solution or do you simply try to pin down the culprit?

With that said I can explain the seemingly contractionary pictures. The gnome Tweaks app shows a wrong state. The extensions app shows the correct state. Screenshot attached. This must be a bug in gnome Tweaks.

The gsettings file shows something interesting:
According to the file I have two extensions active that I can't remember ever installing and that do not show up anywhere: org.gnome.shell enabled-extensions ['<email address hidden>', '<email address hidden>']

File attached.

Could it be that there are extensions active that I or someone living with me installed in the past but don't show up in the extensions settings? If yes how do I remove them for further bug testing?