navigation state is more nicely and completely serialized into URL

src/public/app/widgets/buttons/history_navigation.js

@@ -55,6 +55,7 @@ export default class HistoryNavigationButton extends ButtonFromNoteWidget {
         for (const idx in this.webContents.history) {
             const url = this.webContents.history[idx];
             const [_, notePathWithTab] = url.split('#');
+            // broken: use treeService.parseNavigationStateFromAddress();
             const [notePath, ntxId] = notePathWithTab.split('-');
 
             const title = await treeService.getNotePathTitle(notePath);