diff --git a/options.xhtml b/options.xhtml
index aa983c512..31ff6808b 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -64790,7 +64790,7 @@ JSON value</p>
 </dt>
 <dd>
 <p>Configuration settings for WaveTerm. All available options can be
-found here: &lt;\https://docs.waveterm.dev/config#configuration-keys&gt;.</p>
+found here: <a class="link" href="https://docs.waveterm.dev/config#configuration-keys"  target="_top">https://docs.waveterm.dev/config#configuration-keys</a>.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
 JSON value</p>