If we’ve changed a bunch, it might be better to cut 4.2.0 now, instead of 4.1.3. Either seems fine if we want to hurry it