so if I understand you correctly crdt is not used to collaborate in realtime with other human beings? instead we need to sync via git?