Provide real-time collaborative editing in VisualEditor
Open, LowPublic

Description

This is about VisualEditor-core, not VisualEditor-MediaWiki for which there are a bunch of issues that would need to be solved first.