ALTER TABLE users ADD COLUMN focus_task_id TEXT;
ALTER TABLE users ADD COLUMN focus_project_id TEXT;
UPDATE users SET focus_task_id = json_extract(focus, '$.task_id'), focus_project_id = json_extract(focus, '$.project_id');
ALTER TABLE users DROP COLUMN focus;