Deprecate --proxy option.