diff --git a/public/help/code_highlighting_languages.html b/public/help/code_highlighting_languages.html
index a460b8ebf..266b76ac0 100644
--- a/public/help/code_highlighting_languages.html
+++ b/public/help/code_highlighting_languages.html
@@ -170,6 +170,10 @@
       <td>d</td>
       <td>The D programming language(dlang.org) [aliases: dlang]</td>
     </tr>
+    <tr>
+      <td>dafny</td>
+      <td>The Dafny programming language (github.com/dafny-lang/dafny)</td>
+    </tr>
     <tr>
       <td>dart</td>
       <td>The Dart programming language (dartlang.com)</td>
@@ -200,7 +204,7 @@
     </tr>
     <tr>
       <td>eex</td>
-      <td>Embedded Elixir [aliases: leex]</td>
+      <td>Embedded Elixir [aliases: leex,heex]</td>
     </tr>
     <tr>
       <td>eiffel</td>
@@ -354,6 +358,10 @@
       <td>irb</td>
       <td>Shell sessions in IRB or Pry [aliases: pry]</td>
     </tr>
+    <tr>
+      <td>irb_output</td>
+      <td></td>
+    </tr>
     <tr>
       <td>isbl</td>
       <td>The ISBL programming language</td>
@@ -468,7 +476,7 @@
     </tr>
     <tr>
       <td>mathematica</td>
-      <td>Wolfram Mathematica, the world's definitive system for modern technical computing. [aliases: wl]</td>
+      <td>Wolfram Mathematica, the world&#39;s definitive system for modern technical computing. [aliases: wl]</td>
     </tr>
     <tr>
       <td>matlab</td>
@@ -484,7 +492,7 @@
     </tr>
     <tr>
       <td>mosel</td>
-      <td>An optimization language used by Fico's Xpress.</td>
+      <td>An optimization language used by Fico&#39;s Xpress.</td>
     </tr>
     <tr>
       <td>msgtrans</td>
@@ -552,12 +560,16 @@
     </tr>
     <tr>
       <td>plaintext</td>
-      <td>A boring lexer that doesn't highlight anything [aliases: text]</td>
+      <td>A boring lexer that doesn&#39;t highlight anything [aliases: text]</td>
     </tr>
     <tr>
       <td>plist</td>
       <td>plist [aliases: plist]</td>
     </tr>
+    <tr>
+      <td>pony</td>
+      <td></td>
+    </tr>
     <tr>
       <td>postscript</td>
       <td>The PostScript language (adobe.com/devnet/postscript.html) [aliases: postscr,postscript,ps,eps]</td>
@@ -584,7 +596,7 @@
     </tr>
     <tr>
       <td>protobuf</td>
-      <td>Google's language-neutral, platform-neutral, extensible mechanism for serializing structured data [aliases: proto]</td>
+      <td>Google&#39;s language-neutral, platform-neutral, extensible mechanism for serializing structured data [aliases: proto]</td>
     </tr>
     <tr>
       <td>puppet</td>
@@ -800,7 +812,7 @@
     </tr>
     <tr>
       <td>xml</td>
-      <td><desc for="this-lexer">XML</desc></td>
+      <td>&lt;desc for=&quot;this-lexer&quot;&gt;XML&lt;/desc&gt;</td>
     </tr>
     <tr>
       <td>xojo</td>
@@ -816,7 +828,7 @@
     </tr>
     <tr>
       <td>yaml</td>
-      <td>Yaml Ain't Markup Language (yaml.org) [aliases: yml]</td>
+      <td>Yaml Ain&#39;t Markup Language (yaml.org) [aliases: yml]</td>
     </tr>
     <tr>
       <td>yang</td>
@@ -828,4 +840,4 @@
     </tr>
   </table>
 </body>
-</html>
\ No newline at end of file
+</html>