From 2b52fcef2f311fc0d4f20d21df1bd1ea12fd2df4 Mon Sep 17 00:00:00 2001
From: Local Dev <dev@localhost>
Date: Sun, 20 Sep 2026 15:33:33 +0200
Subject: [PATCH] settings: the extensions link reads just "Extensions"

---
 settings.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.html b/settings.html
index 7e1446c..4e68a0c 100644
--- a/settings.html
+++ b/settings.html
@@ -598,7 +598,7 @@
         Bundled reference extensions (like the Notepad) are copied there on first run — you can edit or remove them
         without losing anything the browser needs.</p>
       <div class="row" style="justify-content:flex-end;gap:8px">
-        <a class="btn" style="text-decoration:none;display:inline-flex;align-items:center" href="https://theseus.x/extensions/" target="_blank" rel="noopener" title="What ships, current signed versions, and how updates are verified">Browse extensions on theseus.x ↗</a>
+        <a class="btn" style="text-decoration:none;display:inline-flex;align-items:center" href="https://theseus.x/extensions/" target="_blank" rel="noopener" title="What ships, current signed versions, and how updates are verified">Extensions ↗</a>
         <button id="addonsCheckUpdates" class="btn" type="button">Check for updates</button>
         <button id="addonsReload" class="btn" type="button">Reload</button>
         <button id="addonsOpenDir" class="btn" type="button">Open extensions folder</button>