Merge branch 'develop' into refcell/batcher/config

docs/op-stack/src/.vuepress/config.js

@@ -38,8 +38,8 @@ module.exports = {
       offset: -200,
     },
     algolia: {
-      appId: '7Q6XITDI0Z',
-      apiKey: '9d55a31a04b210cd26f97deabd161705',
+      appId: 'O9WKE9RMCV',
+      apiKey: '00cf17cba30b374d08d7f7afead974be',
       indexName: 'optimism'
     },
     nav: [
@@ -117,7 +117,7 @@ module.exports = {
       {
         title: "OP Stack",
         collapsable: false,
-        children: [        
+        children: [
           '/',
           [
             '/docs/understand/design-principles.md',
@@ -126,7 +126,7 @@ module.exports = {
           '/docs/understand/landscape.md',
           '/docs/understand/explainer.md'
         ]
-      }, 
+      },
       {
         title: "Releases",
         collapsable: false,
@@ -164,10 +164,10 @@ module.exports = {
                 title: "Sample Hacks",
                 children: [
                   "/docs/build/tutorials/add-attr.md",
-                  "/docs/build/tutorials/new-precomp.md",                
+                  "/docs/build/tutorials/new-precomp.md",
                 ]
-              }  // End of tutorials                      
-            ], 
+              }  // End of tutorials
+            ],
           },    // End of OP Stack hacks
         ],
       },      // End of Building OP Stack Rollups
@@ -185,7 +185,7 @@ module.exports = {
           '/docs/security/faq.md',
           '/docs/security/policy.md',
         ]
-      },        
+      },
     ],  // end of sidebar
   plugins: [
     "@vuepress/pwa",