-- Revert the column default to FALSE. Existing rows are intentionally NOT
-- reverted: flipping live users back to manual on a rollback would be a
-- surprising regression (they may have come to rely on auto). The default change
-- is the reversible part; data stays as the user left it.
ALTER TABLE users ALTER COLUMN auto_summarize SET DEFAULT FALSE;
