We found ourselves needing to share markdown files with each other and our agents at my company so we built a Google Docs like real time collaborative markdown editor. It's free and open source - https://github.com/emotion-machine-org/with-md. I'd appreciate any feedback!