Wow! Thank you. I noticed a few annoyances in the demo flow: How do I make a new slide? I had to rtfm to find out about "---" What language does code want?

Wow! Thank you. I noticed a few annoyances in the demo flow: How do I make a new slide? I had to rtfm to find out about "---" What language does code want? I eventually correctly guessed "HTML". I want it to have a little dropdown menu in the style of godbolt.org for code snippets. That would be great for collaboration flows like: "This high-level code compiles to an integer increment, so don't worry about the lambdas". Godbolt also does a good job of populating pages with hello-world examples. It might make sense to do that, at least the first few times a document of a given type was created. For it to be my daily-driver backend dev environment, it would need git integration and the ability to ssh to a dev environment that I configured in the style of okteto. That feels like a different product. If I was going to use this on a day-to-day basis, I'd want to be able to back up the data (in case your E2EE blew up, or I lost my password). My next question would be how to use it while disconnected (For three reasons: (1) I want to host your backend server on a LAN that isn't exposed to the internet, and still use it for things like bank account info, and (2) I want to store travel itineraries in it, and be able to access them if my cell plan doesn't work overseas, (3) if the server dies, I have the data on my device, and would want to "copy" it all to a new server). Anyway, I've been looking for something like this for years, and it looks like you hit most of my requirements. How does conflict resolution work? CRDT's? Something else?