Github doesn't remove Unicode letters from header slugs apparently

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/help/lessthanorequalto.html b/docs/help/lessthanorequalto.html
index 1b157107..28550d4c 100644
--- a/docs/help/lessthanorequalto.html
+++ b/docs/help/lessthanorequalto.html
@@ -5,7 +5,7 @@
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="lesser-than-or-equal-to-"><a class="header" href="#lesser-than-or-equal-to-">Lesser Than or Equal To (<code><span class='Function'>≤</span></code>)</a></h1>
-<h2 id="---lesser-than-or-equal-to"><a class="header" href="#---lesser-than-or-equal-to"><code><span class='Value'>𝕨</span> <span class='Function'>≤</span> <span class='Value'>𝕩</span></code>: Lesser Than or Equal To</a></h2>
+<h2 id="𝕨--𝕩-lesser-than-or-equal-to"><a class="header" href="#𝕨--𝕩-lesser-than-or-equal-to"><code><span class='Value'>𝕨</span> <span class='Function'>≤</span> <span class='Value'>𝕩</span></code>: Lesser Than or Equal To</a></h2>
 <p><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</p>
 <p><a href="../doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxIOKJpCAzCgogIDLigL8z4oC/MCDiiaQgM+KAvzHigL8w">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>≤</span> <span class='Number'>3</span>