Okay so nothing to worry about too much then in your opinion
Discussion
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.