I disagree, but not in a downvote sort of way. I think your position is defensible, but there is a valid second perspective.

The sorts of folks who "won't be missed" put pedantry over productivity. To paint with a very broad brush, it's been my experience that they also tend to be stubborn and frustrating team members who don't understand that there's a time to debate and the rest of the time is for shipping.