I'm just kinda amazed you needed help in making a yes or no decision.

If it really bothers you then do it, if you are just reporting him to be cyber police and a jerk then don't. (But if you are a jerk then you wouldn't ask here, you would just do it.)