set language correctly

Author: jvns

script/update-docs.rb

@@ -116,6 +116,8 @@ def extract_glossary_from_html(content)
     term_names = []
     if term_name == "tree-ish (also treeish)"
       term_names = ['tree-ish', 'treeish']
+    elsif term_name == "arbre-esque (aussi arbresque)"
+      term_names = [''arbre-esque, 'arbresque']
     else
       term_names = [term_name]
     end

static/js/glossary.js

@@ -4,8 +4,7 @@ var GitGlossary = {
   tooltip: null,
 
   init: function() {
-    // Default to English, could be made configurable later
-    const language = 'en';
+    const language = document.querySelector("html")?.getAttribute("lang") || 'en';
     $.getJSON(baseURLPrefix + 'js/glossary/' + language + '.json')
       .done((data) => this.onDataLoaded(data));
     window.addEventListener('resize', () => this.reposition())