GNOME Shell sometimes disables the Classic mode extensions
Originally created by @intrigeri on #10842 (Redmine)
I’ve seen it once (after at least one hour of letting a Tails system running), anonym has seen something similar on #9012 (comment 83899), and I suspect this problem might share a root cause or two with #10807 (closed).
I think it happens too rarely and randomly to be a credible 2.0 release blocker, but I’ll at least give it a good try (and document on the known issues page how to bring the desktop back to its expected state).
Feature Branch: bugfix/update-gnome-shell-extensions-list
Edited by intrigeri