Temporarily disabled Settings panel

shells/browser/shared/src/backend.js

@@ -64,5 +64,5 @@ function setup(hook) {
     listeners.splice(0);
   });
 
-  initBackend(window.__REACT_DEVTOOLS_GLOBAL_HOOK__, agent, window);
+  initBackend(hook, agent, window);
 }

shells/browser/shared/src/main.js

@@ -25,12 +25,14 @@ function createPanelIfReactLoaded() {
         });
       });
 
+      /* TODO Revisit this architecture; currently it causes duplicate agent/bridge traffic.
       chrome.devtools.panels.create(
         '⚛ Settings',
         '',
         'settings.html',
         panel => {}
       );
+      */
     }
   );
 }