Document editor based on operational transforms of attributed strings