Does this support real-time editing with someone else (similar to Google Docs?).
I've been using JupyterLab [0] + Google Drive [1] plugin for this. It uses Drive's API for doing real-time collaboration and let's you code in real time with someone else. It's the only solution I've found for this that doesn't require you to pay an arm to use.