If [this comment](https://github.com/adobe/brackets/pull/6334/files#r8588096) is implemented, we may also want to display message in console log when user extensions are no longer disabled.