| 1 | -- A space can be deleted, the General space too (a workspace may have no |
| 2 | -- spaces). Its row stays, marked: the trash's rows that point at it keep |
| 3 | -- their space's name and rules, so whoever could edit them still restores |
| 4 | -- them for the usual 30 days; and General, once deleted, is never made |
| 5 | -- again (`ensureDefault` finds the row). Deleting frees the address for a |
| 6 | -- new space by renaming the row's slug to `<slug>~<id>`, which no address |
| 7 | -- can be. Listings leave deleted spaces out (src/who.ts, src/index.ts). |
| 8 | ALTER TABLE spaces ADD COLUMN deleted_at TEXT; |
| 9 | ALTER TABLE spaces ADD COLUMN deleted_by TEXT; |