I wonder if we should have some other indicator in the UI that we're in this mode--for example, maybe we should put something in the status bar ("User Extensions Disabled" or some such). Otherwise it might be mysterious why the extension manager is turned off.

(If you do do that, note that there's a bug right now in the StatusBar that `addIndicator()` doesn't actually add the indicator :) See #5682.)