I disagree that the default should be named. If we add more flags than just handling of unknown options, the default won't make sense anymore.