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