Coming to LibreOffice: Collaborative editing