Merge pull request #1199 from griffenedge/patch-1

Author: p-linnane

_layouts/base.html

@@ -228,8 +228,8 @@ <h1><a href="{{ site.baseurl }}/">{{ site.title }}</a></h1>
             referrerpolicy="no-referrer"
             onload="loadAnchors()"
             async></script>
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/docsearch-js/3.8.3/umd/index.min.js" 
-            integrity="sha512-KimAzbZkqq4d6R95a3Fo124FpsXtPq2UH9xOI+IT931aUPiEqRak8jYT7VnpYP/7dkk33vzi1YhDzH+8T6qOrw==" 
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/docsearch-js/3.9.0/umd/index.min.js" 
+            integrity="sha512-GQvKUarIhGPpbful5R03aNwrhDKd/b+KdasOD9Uq0SFTZHJV14rly+Uss2pKazgeZz+G3JQ0wk1ximS6crma/w==" 
             crossorigin="anonymous" 
             referrerpolicy="no-referrer"
             onload="loadSearch('{{ page.lang }}', '{{ page.search_site }}')"