Honestly it’s such a minor change, I’m pretty sure they could just grab all the upstream commits in the future and not do anything and it’ll be fine.