I declined that flag, and maybe I made a bad call here. I was processing a series of comment flags at the time, and didn't spend a lot of time on this one. We generally don't worry too much about comment flags, aside from the "rude and abusive" ones or the occasional spam.
I know that we hate fun on Stack Overflow, but I'll sometimes leave highly-upvoted joke comments alone because I think they add a little character to the place. (As long as they're not offensive or insulting, of course.) I guess maybe I miss a little of the fun of the earlier days of the site. Sometimes they even add an interesting perspective on a question or answer.
This one doesn't really do that, or add much here. Because you've made a strong argument for why it should go, and it seems like others agree with you, I've deleted the comment. Don't worry about the declined comment flag, these don't work against you in the same manner as declined flags on posts.