The GP didn't come across as ill-intended to me; it outlined an issue, gave a solution, and hopefully everyone who viewed it thought about context for half a second. I do agree with it that adding context to the comment is better than assuming random readers are going to actually look up capitalized names.

Your comment, on the other hand, comes off as the one that's disparaging and includes a personal attack.