This reverts commit bc0782ac. The option is required to be able to distinguish between "don't change options" and "reset options".