From 31e0a4c6da386260c0f0cdf3068877e97f2f99a2 Mon Sep 17 00:00:00 2001
From: KellyJDavis <kdavis@alum.mit.edu>
Date: Sun, 1 Nov 2026 06:58:32 +0100
Subject: [PATCH] Use the README's caption on the homepage diagram

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 web/Site/Components.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/Site/Components.lean b/web/Site/Components.lean
index 717a2ec..ad06448 100644
--- a/web/Site/Components.lean
+++ b/web/Site/Components.lean
@@ -133,7 +133,7 @@ block_component +directive hero where
         <figure class="landing-hero-figure">
           {{ diamondDiagram }}
           <figcaption>
-            "Axiom 3 in one picture: the diamonds B₁ and B₂ are spacelike separated inside B, so their observables commute."
+            "Algebraic quantum field theory's axiom 3 in one picture: the diamonds B₁ and B₂ are spacelike separated inside B, so their observables commute."
           </figcaption>
         </figure>
       </section>