switch title to name in search machinery

scripts/make-search-index.js

@@ -44,7 +44,7 @@ lunr.tokenizer.separator = /(\p{P}|\p{S}|\p{Z}|\p{C})+/u
 
 var idx = lunr(function () {
   this.ref('link')
-  this.field('title', {boost: 9})
+  this.field('name', {boost: 9})
   this.field('tag', {boost: 3})
   this.field('text')
 
@@ -56,5 +56,5 @@ var idx = lunr(function () {
 
 fs.writeFileSync(process.argv[3], JSON.stringify(idx), {encoding: 'utf8'})
 fs.writeFileSync(process.argv[4], JSON.stringify(
-    Object.fromEntries(documents.map(x => [x.link, {"title": x.title, "tags": x.tags}]))
+    Object.fromEntries(documents.map(x => [x.link, {"name": x.name, "tags": x.tags}]))
   ), {encoding: 'utf8'})

templates/searchresults.html

@@ -81,7 +81,7 @@
       var out = document.createElement("li")
       var a = document.createElement("a")
       a.className = "search-result"
-      a.appendChild(document.createTextNode(m.title))
+      a.appendChild(document.createTextNode(m.name))
       a.href = r.ref
       out.appendChild(a)
       for(var ti=0; ti<m.tags.length; ++ti) {