My idea was to have the Extension Manager Button in the right sidebar, but in a red style. We could also add a tooltip like `All user extensions are disabled.`