The comment I chided wasn&#x27;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 &quot;[deleted]&quot; just above my comment upthread—that&#x27;s a stand-in for the post I was replying to.