diff --git a/docs/examples/repl-handoff.mdx b/docs/examples/repl-handoff.mdx
index 4438596b3..412ca4029 100644
--- a/docs/examples/repl-handoff.mdx
+++ b/docs/examples/repl-handoff.mdx
@@ -16,6 +16,10 @@ This pattern is useful when a task is well-understood enough to plan interactive
## The workflow
+
+
+
+
```dot title="implement.fabro"
digraph ImplementAndSimplify {
graph [
diff --git a/docs/images/example-repl-handoff.svg b/docs/images/example-repl-handoff.svg
new file mode 100644
index 000000000..529283d2b
--- /dev/null
+++ b/docs/images/example-repl-handoff.svg
@@ -0,0 +1,148 @@
+
+