ink - Editor with collaborative editing