The comment I chided wasn't 10798178 (which indeed was fine), but an uncivil reply to it which its author subsequently deleted. The deletion is what made this confusing. You should see "[deleted]" just above my comment upthread—that's a stand-in for the post I was replying to.