Basic Desktop Editor

Nice work @nxrix! It’s fun to see your alternative editor.

Re. offline editing, we recently improved the saving logic so that the new notebook editor should continue working if you go offline, and then resume saving if you come back online (with automatic merging in case of conflicts). At some point I would like to add service workers so that the notebook editor works completely while offline, too. And maybe caching common libraries…