The "User Extensions Disabled" indicator in the status bar can only be seen if there is a file open in editor. To provide 1 more way to help us troubleshoot user problems, what do you think about also posting a message to console log when user extensions are disabled?