From 20d7513c738e048e3aea8e0a353252523db1dc96 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Thu, 18 Dec 2025 09:13:52 -0500
Subject: [PATCH] Re-add html to auto_install_extensions

---
 assets/settings/default.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/assets/settings/default.json b/assets/settings/default.json
index d59516f6883afd93abfac6777eb855d569db2ac2..fb8a2acc4c46dd2cfab1857af3862e6cf0946fb8 100644
--- a/assets/settings/default.json
+++ b/assets/settings/default.json
@@ -1735,6 +1735,7 @@
   // If you don't want any of these extensions, add this field to your settings
   // and change the value to `false`.
   "auto_install_extensions": {
+    "html": true,
     "google-ai": true,
   },
   // The capabilities granted to extensions.