I'm sorry but that is splitting hairs. The comment used a name but it was not name calling, it was the core of his argument. He was being relatively civil, it's clear from the comment. And are you really going to delete someone's comment because you think it's engaging in a straw man argument? Can't the other commenter defend himself?

Sorry I think you sometimes get too heavy handed around here.