Default formatting option should not be in settings if formatting options are disabled
Users will be disappointed when they set the default to HTML just to find out they can't use HTML
Users will be disappointed when they set the default to HTML just to find out they can't use HTML