We should start by defining what the end state of documentation editor should be. What pieces are mission critical vs nice to have? Some ideas are...
• Multi-player documentation (syncing docs across live users)
• Full screen editor (vs current inline editor)
• HTML editor (vs current markdown editor)
• Keyboard shortcuts
etc