Used the wrong entries for permalink:-(

iherman · iherman · commit 63fd2c97402c · 2017-12-20T07:07:50.000+01:00
diff --git a/index.html b/index.html
@@ -57,9 +57,9 @@
 					}]
 				}],
             	processVersion: 2017,
-            	includePermalinks: true,
+            	includePermalinks: false,
             	permalinkEdge:     true,
-            	permalinkHide:     true,
+            	permalinkHide:     false,
             	diffTool:          "http://www.aptest.com/standards/htmldiff/htmldiff.pl",
             	wgURI:             "https://www.w3.org/publishing/groups/publ-wg/",
             	wgPublicList:      "public-publ-wg",
