From 9fb7eed5ffa4f9af27adb96f0bca982dbf802a08 Mon Sep 17 00:00:00 2001
From: zixiaowang17 <wzxiao17@gmail.com>
Date: Tue, 22 Sep 2026 19:34:20 -0400
Subject: [PATCH] Link Statlib to the core library on the About page

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
---
 content/index.md | 2 +-
 index.html       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/content/index.md b/content/index.md
index e910c97..981fefb 100644
--- a/content/index.md
+++ b/content/index.md
@@ -7,7 +7,7 @@ intro: false
 
 # Statlib
 
-Statlib is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors [below](#activity) (activity loaded live from [GitHub](https://github.com/stat-lib/statlib/graphs/contributors?all=1)). Interested in joining us? Check out our Zulip channel [here](https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib)!
+[Statlib](https://github.com/stat-lib/statlib) is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors [below](#activity) (activity loaded live from [GitHub](https://github.com/stat-lib/statlib/graphs/contributors?all=1)). Interested in joining us? Check out our Zulip channel [here](https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib)!
 
 ## Community Activity {#activity .people}
 
diff --git a/index.html b/index.html
index 1ba6bcd..06dda3f 100644
--- a/index.html
+++ b/index.html
@@ -24,7 +24,7 @@
 <main>
   <div class="wrap">
     <h1>Statlib</h1>
-    <p>Statlib is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors <a href="#activity">below</a> (activity loaded live from <a href="https://github.com/stat-lib/statlib/graphs/contributors?all=1" target="_blank" rel="noopener">GitHub</a>). Interested in joining us? Check out our Zulip channel <a href="https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib" target="_blank" rel="noopener">here</a>!</p>
+    <p><a href="https://github.com/stat-lib/statlib" target="_blank" rel="noopener">Statlib</a> is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors <a href="#activity">below</a> (activity loaded live from <a href="https://github.com/stat-lib/statlib/graphs/contributors?all=1" target="_blank" rel="noopener">GitHub</a>). Interested in joining us? Check out our Zulip channel <a href="https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib" target="_blank" rel="noopener">here</a>!</p>
     <section id="activity" class="people">
     <h2>Community Activity</h2>
     <ul>