diff --git a/about/js-licences.en.xhtml b/about/js-licences.en.xhtml
index 9e34cc993f..12a08cf7ea 100644
--- a/about/js-licences.en.xhtml
+++ b/about/js-licences.en.xhtml
@@ -2,7 +2,7 @@
 
 <html>
   <version>1</version>
-
+  <!-- @TRANSLATORS: no need to translate this file -->
   <head>
     <title>JavaScript licence information</title>
   </head>
@@ -33,6 +33,11 @@
         <td><a href="http://www.apache.org/licenses/LICENSE-2.0">Apache-2.0</a></td>
         <td><a href="https://github.com/twbs/bootstrap/releases/tag/v3.0.3">Bootstrap 3.0.3</a></td>
       </tr>
+      <tr>
+        <td><a href="/search/index.js">search/index.js</a></td>
+        <td><a href="http://www.gnu.org/licenses/gpl-3.0.html">Expat</a></td>
+        <td><a href="/search/index.js">GPLv3 or later</a></td>
+      </tr>
       <tr>
         <td><a href="/scripts/jquery-3.5.1.min.js">scripts/jquery-3.5.1.min.js</a></td>
         <td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>
@@ -40,12 +45,12 @@
       </tr>
       <tr>
         <td><a href="/scripts/filter-teams.js">scripts/filter-teams.js</a></td>
-        <td><a href="http://www.gnu.org/licenses/gpl-3.0.html">GPL-3.0-or-later</a></td>
+        <td><a href="http://www.gnu.org/licenses/gpl-3.0.html">GPLv3 or later</a></td>
         <td><a href="/scripts/filter-teams.js">Filter Teams</a></td>
       </tr>
       <tr>
         <td><a href="/scripts/lunr-2.3.9.min.js">scripts/lunr-2.3.9.min.js</a></td>
-        <td><a href="https://opensource.org/licenses/MIT">MIT</a></td>
+        <td><a href="https://opensource.org/licenses/MIT">Expat</a></td>
         <td><a href="https://github.com/olivernn/lunr.js/releases/tag/v2.3.9">lunr-2.3.9.min.js</a></td>
       </tr>
     </table>
diff --git a/search/search.en.xhtml b/search/search.en.xhtml
index 99ba569171..0be7831de6 100644
--- a/search/search.en.xhtml
+++ b/search/search.en.xhtml
@@ -93,6 +93,32 @@
     </li>
   </ul>
 
+  <script>
+    /*
+    @licstart  The following is the entire license notice for the
+    JavaScript code in this page.
+
+    Copyright (C) 2020 Free Software Foundation Europe
+
+    The JavaScript code in this page is free software: you can
+    redistribute it and/or modify it under the terms of the GNU
+    General Public License (GNU GPL) as published by the Free Software
+    Foundation, either version 3 of the License.
+    The code is distributed WITHOUT ANY WARRANTY;
+    without even the implied warranty of MERCHANTABILITY or FITNESS
+    FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.
+
+    As additional permission under GNU GPL version 3 section 7, you
+    may distribute non-source (e.g., minimized or compacted) forms of
+    that code without the copy of the GNU GPL normally required by
+    section 4, provided you include this license notice and a URL
+    through which recipients can access the Corresponding Source.
+
+    @licend  The above is the entire license notice
+    for the JavaScript code in this page.
+    */
+  </script>
+
   <script>
   const searchString = new URLSearchParams(window.location.search).get('q');
   const locals = [document.documentElement.getAttribute("lang")];
