Hm, I wrote that under an assumption that everyone already knew the fact stated in the comment, since it was repeated a number of times before, so the comment could only be an appeal to availability of whatever weight the bare fact of there being a post like that has.

Incidentally, formalism has a way of losing track of the original intent, which is at odds with the intent of signaling ability to handle rigor.