code: function handleNav(path, query, hash) {
      if (path) {
        // replace /pub/path... with /path...
        // history.replaceState(null, null, origin + path + query + hash);
        bindEditor(generator.fragment$[path + hash]);
      }
      else {
        // reload
        bindEditor(generator.fragment$[editor.binding]);
      }
    }
docs: navigation handler