Github doesn't remove Unicode letters from header slugs apparently

1 files changed, 2 insertions, 2 deletions

diff --git a/docs/help/currentmodifier.html b/docs/help/currentmodifier.html
index 3fdf1a98..1ee9782b 100644
--- a/docs/help/currentmodifier.html
+++ b/docs/help/currentmodifier.html
@@ -4,8 +4,8 @@
   <title>BQN: Mathematical Double-struck R (𝕣)</title>
 </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="mathematical-double-struck-r-"><a class="header" href="#mathematical-double-struck-r-">Mathematical Double-struck R (<code><span class='Value'>𝕣</span></code>)</a></h1>
-<h2 id="-current-modifier"><a class="header" href="#-current-modifier"><code><span class='Value'>𝕣</span></code>: Current Modifier</a></h2>
+<h1 id="mathematical-double-struck-r-𝕣"><a class="header" href="#mathematical-double-struck-r-𝕣">Mathematical Double-struck R (<code><span class='Value'>𝕣</span></code>)</a></h1>
+<h2 id="𝕣-current-modifier"><a class="header" href="#𝕣-current-modifier"><code><span class='Value'>𝕣</span></code>: Current Modifier</a></h2>
 <p>A variable assigned to the current modifier block. Underscores must be added to the beginning and/or end (<code><span class='Modifier'>_𝕣</span></code>, <code><span class='Modifier2'>_𝕣_</span></code>) to use the modifier with the correct role.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=K3vwnZWj4oqj8J2VqX0gNA==">↗️</a><pre>    <span class='Function'>+</span><span class='Brace'>{</span><span class='Value'>𝕣</span><span class='Function'>⊣</span><span class='Value'>𝕩</span><span class='Brace'>}</span> <span class='Number'>4</span>
 (1-modifier block)