Just ignore him.
If you don't like him or if he offends you, it would be better just to ban or make a different soup.
There are no arguments, if one person is arguing with himself.
including that he was being a jerk to GreenshiTheYoshi?
but you're probably right. i've.. or "we" should ignore him.
