Vladimir_Nesov comments on Things That Shouldn’t Need Pointing Out

[Vladimir_Nesov]

But this fun remark ignores the intended meaning...