Is this ironic?
Would Git be considered local-first software? Could you call it's data structures CRDTs?
Is this ironic?