The great thing is that you did not have to be that guy or even spend time making this comment unless you really wanted to. It wasn't necessary.