Forget the IPO price. Deliveroo would be right to take DoorDash's money and run