Yeah, it's stupid. That's why core devs should admit defeat and not ninja merge stupid pull requests. But they keep going on.