Always lowercase "the Wardens’ headquarters"

lib/convert-worker.js

@@ -480,6 +480,10 @@ function fixCapitalization(xml, book) {
   xml = xml.replace(/(?<!mom), dad(?![a-z])/g, ", Dad");
   xml = xml.replace(/, mom(?![a-z-])/g, ", Mom");
 
+  // The majority of "Wardens’ headquarters" is lowercased, and always prefixed with "the", indicating it's not a proper
+  // place name. So we remove the capitalization in the few places where it does appear.
+  xml = xml.replace(/Wardens’ Headquarters/g, "Wardens’ headquarters");
+
   return xml;
 }
 

lib/substitutions.json

@@ -5898,6 +5898,10 @@
     {
       "before": "Hardboil",
       "after": "Hard Boil"
+    },
+    {
+      "before": "Sveta added a, “No,” for good measure",
+      "after": "Sveta added a “no” for good measure"
     }
   ],
   "https://www.parahumans.net/2018/12/01/polarize-10-11/": [