Software-Entwickler haben den Quellcode von Dokumenteneditors mit dem halbformalen gemeinsamen Bearbeitung ähnlich wie bei Google Docs und dem aktualisierten Server…