This. If Core wouldn’t have pushed and merged code arbitrarily despite all the contention about the issue, we wouldn’t be here.