KES <kes-...@yandex.ru> writes: > I would prefer to remove the option from the configuration list > instead of having it reset to empty string.
That is not the definition, and we'd be very unlikely to change
it to do that, because it would make no sense for built-in or
extension-defined settings.
regards, tom lane
