Documented new default_* options.