I wouldn't consider any of those responses as being "generally polite", He could have just said we already discussed this, linked to the old discussion and than

I wouldn't consider any of those responses as being "generally polite", He could have just said we already discussed this, linked to the old discussion and thanked the people for their concern and closed the issue, no need for him to respond with nasty language.