Draw.io (diagrams.net) supports real-time collaboration

Neat feature:

https://www.diagrams.net/blog/real-time-collaboration-diagrams-md