Yes. In my opinion this is not a hill worth dying on.

It really makes no difference how it lands. If the battle pushes people to alt node implementations (knots or Libre) then IMO that’s a good outcome.

Everything is good for Bitcoin.