diff --git a/docs/examples/werkbaum.werkbaum b/docs/examples/werkbaum.werkbaum
index 60bb7e3..321b4f8 100644
--- a/docs/examples/werkbaum.werkbaum
+++ b/docs/examples/werkbaum.werkbaum
@@ -154,9 +154,9 @@
       - [^] #col.live.upload: Share: put a local plan on the server (S)  %% a button in the editor title bar, see D81
       - [?] #col.live.cursors: Cursors and who else is here (S)
       - [ ] #col.live.owner: An owner password guards managing a shared plan (M)  %% returned once on creation, admin can reclaim
-      - [x] #col.live.rename: Renaming reaches everyone (S)  %% PATCH /title + RENAMED in the feed, see D85
-      - [x] #col.live.history: Earlier states come from the server (M)  %% milestones in the clock menu, rollback for everyone, see D86
-      - [x] #col.live.name: A self-chosen display name (XS)  %% fills "changed by", a claim, not a proof
+      - [^] #col.live.rename: Renaming reaches everyone (S)  %% PATCH /title + RENAMED in the feed, see D85
+      - [^] #col.live.history: Earlier states come from the server (M)  %% milestones in the clock menu, rollback for everyone, see D86
+      - [^] #col.live.name: A self-chosen display name (XS)  %% fills "changed by", a claim, not a proof
       - [-] #col.live.ws: Transport over a websocket (S)  %% plain HTTP turned out to be enough
       - [-] #col.live.own: A merge algorithm of our own (XL)  %% solved problem, do not reinvent
   - [?] #mmd: Mermaid plugin (XL)