I agree. Why does everyone else have to take avoiding action, especially when there is now an 'exclude from thread' tool available?
Because it's a personal preference - us mods don't know who likes who and who doesn't and we can't be expected to bias the discussion in the thread to suit the preferences of individuals or select groups. From my perspective I want to include everyone wherever possible - that's how a community works best.
That being said, sometimes people get blinkered into pedantry point scoring over a topic, or post, or "details" or even with other members personalities (to the exclusion of everyone else on the thread) so that's where a temporary thread exclusion can now help.
We'll carry on watching the thread and see how it goes.