From the discussion I don't see why one rather than the other? Or else we just pick one and add "(by default)".