When a comment appears to a be a troll, is overly hostile, etc it's usually helpful to look at the account creation date and their posts history before bothering with a response.
Sometimes it's someone with a varied history burning karma for a topic they are passionate about, but in this posters history it's obviously not.