By Andreas Pauschenwein
Editing the same document at the same time by two editors is a key feature of an online IDE we’re…