I agree and will do it. This the best attitude. For example, there is no need to keep "fighting" with the so called "anonymous number troll". The fact that Mike and others incuding me kept on responding him ended with Mike being banned so clearly feeding the troll was yet again a bad idea.
Sometimes is best to ignore certain people and go for what matters to you, especially in the Internet where SO MUCH time is lost arguing without getting anything at the end.