diff --git a/docs/development-pause.md b/docs/development-pause.md
index a91778c..2ca8303 100644
--- a/docs/development-pause.md
+++ b/docs/development-pause.md
@@ -50,4 +50,4 @@ origin  ssh://git@git.jb.codes:7722/jb/eden.git
 fdcc486..1b95f22  main -> main
 ```
 
-The follow-up documentation commit recording this outcome was also pushed normally (`1b95f22..3b4a7ad  main -> main`); there has been no deploy.
+The follow-up documentation commits recording this outcome were also pushed normally (`1b95f22..3b4a7ad`, then `3b4a7ad..2b5aa1b`, `main -> main`); the final `git status --short --branch` is clean on `main...origin/main`. There has been no deploy.