*
* DEFAULT is the default value for the option. Specify 0 to disable the
* option by default, which should be the usual choice. But some options can
*
* DEFAULT is the default value for the option. Specify 0 to disable the
* option by default, which should be the usual choice. But some options can