diff --git a/public/help/code_highlighting_languages.html b/public/help/code_highlighting_languages.html
index 144a2e2fc..c6cb12f38 100644
--- a/public/help/code_highlighting_languages.html
+++ b/public/help/code_highlighting_languages.html
@@ -346,6 +346,10 @@
       <td>idlang</td>
       <td>Interactive Data Language</td>
     </tr>
+    <tr>
+      <td>idris</td>
+      <td>The Idris programming language (idris-lang.org) [aliases: idr]</td>
+    </tr>
     <tr>
       <td>igorpro</td>
       <td>WaveMetrics Igor Pro</td>
@@ -426,6 +430,10 @@
       <td>lasso</td>
       <td>The Lasso programming language (lassosoft.com) [aliases: lassoscript]</td>
     </tr>
+    <tr>
+      <td>lean</td>
+      <td>The Lean programming language (leanprover.github.io) [aliases: lean]</td>
+    </tr>
     <tr>
       <td>liquid</td>
       <td>Liquid is a templating engine for Ruby (liquidmarkup.org)</td>
@@ -570,6 +578,10 @@
       <td>plist</td>
       <td>plist [aliases: plist]</td>
     </tr>
+    <tr>
+      <td>plsql</td>
+      <td>Procedural Language Structured Query Language for Oracle relational database</td>
+    </tr>
     <tr>
       <td>pony</td>
       <td></td>
@@ -742,6 +754,14 @@
       <td>systemd</td>
       <td>A lexer for systemd unit files [aliases: unit-file]</td>
     </tr>
+    <tr>
+      <td>syzlang</td>
+      <td>Syscall description language used by syzkaller</td>
+    </tr>
+    <tr>
+      <td>syzprog</td>
+      <td>Program description language used by syzkaller</td>
+    </tr>
     <tr>
       <td>tap</td>
       <td>Test Anything Protocol [aliases: tap]</td>