Enable smarten again (#584)

* enable smarten on merge

* Run smarten tool

I'll revert this commit after discussion. The table is outdented from its source (starting at line 3217)

* Revert "Run smarten tool"

This reverts commit 58ccc80.

* add blank line

This is the fix for the word converter to accept the input.

* markdown experiment.

Replace the HTML tables with the markdown equivalent.

* try without custom word conversion

Author: BillWagner

.github/workflows/update-on-merge.yaml

@@ -37,12 +37,12 @@ jobs:
       with:
         java-version: 15.0
 
-#    - name: Smarten quotes
-#      id: smarten-quote
-#      run: | 
-#        cd tools
-#        ./run-smarten.sh
-#      shell: bash
+    - name: Smarten quotes
+      id: smarten-quote
+      run: | 
+        cd tools
+        ./run-smarten.sh
+      shell: bash
 
     - name: Renumber sections
       id: renumber-sections