Regardless of whether he was being a dick or not, the issue is still there. A helpful dick is still valuable, and banning him is really only hurting the project as a whole.
Most people don't tend to respond well to these types of complaints.
I used to work as customer service for a website and would constantly get sarcastic help requests. It made me hate them and I certainly didn't want to help them. In fact, I either ignored the ticket or just responded slowly as I handled tickets with more reasonable people.
The people saying this is a "great" ticket and wish more reports were given this way are full of it. You will very quickly get tired of it because you realize you are doing everything you can to help them and they really don't care enough to give you enough respect to speak with you as a human being in a conversation. Instead choosing to be sarcastic and insult your efforts to help.
I see this the other way around. I am thankful a huge bunch of volunteers spend many hours of their day creating software I use daily without having to pay for it. They don't deserve to be treated like this.
