Remove a dead option.
Remove a dead option from the configuration file.