From 3b5cf0fce04bedbf0c353f45579e69c41d5806ff Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.teahub.xyz>
Date: Tue, 20 Oct 2026 03:45:38 +0000
Subject: [PATCH] ventures: refresh havre

---
 ventures/havre/index.html | 2 +-
 ventures/havre/theme.js   | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/ventures/havre/index.html b/ventures/havre/index.html
index 7bf8ef4..5682437 100644
--- a/ventures/havre/index.html
+++ b/ventures/havre/index.html
@@ -30,7 +30,7 @@
 <header class="mast" id="top">
   <h1>HAVRE</h1>
   <p class="motto">a harbor for characters. <br>talk to venice characters on your own key. <br>no account. no server. nothing kept but what you keep.</p>
-  <nav class="nav" aria-label="On this page"><a href="#how">how it works</a> / <a href="#agents">for agents</a> / <a href="#costs">costs</a> / <a href="#plans">early access</a> / <a href="open/">open studio (beta)</a> / <button type="button" class="linkish" id="theme">dark mode</button> / <button type="button" class="linkish" id="reload" title="the latest Havre (installed as an app, there's no other way to reload)">reload</button></nav>
+  <nav class="nav" aria-label="On this page"><a href="#how">how it works</a> / <a href="#agents">for agents</a> / <a href="#costs">costs</a> / <a href="#plans">early access</a> / <a href="open/">open studio (beta)</a> / <button type="button" class="linkish" id="theme">dark mode</button></nav>
 </header>
 
 <form class="keybar" id="keyform" autocomplete="off" aria-label="Your Venice API key">
diff --git a/ventures/havre/theme.js b/ventures/havre/theme.js
index 7ca9f98..b87bcc2 100644
--- a/ventures/havre/theme.js
+++ b/ventures/havre/theme.js
@@ -15,8 +15,5 @@
     apply();
     var b = document.getElementById("theme");
     if (b) b.addEventListener("click", function () { try { localStorage.setItem(K, dark() ? "light" : "dark"); } catch (e) { /* this time only */ } apply(); });
-    // installed as an app there's no address bar and no pull to refresh: this is the way to the latest Havre
-    var r = document.getElementById("reload");
-    if (r) r.addEventListener("click", function () { r.textContent = "reloading…"; location.reload(); });
   });
 })();