Is there a reason you haven't added that to the FAQ yet? I don't know how that guy could have known not to use generated comments unless there was a sticky I missed.

More likely that would go in https://news.ycombinator.com/newsguidelines.html although the line between that and https://news.ycombinator.com/newsfaq.html is a bit blurry.

There are lots of established practices or conventions here that haven't been elevated to that level because we don't want to make those lists too long. At a certain point it would start to feel bureaucratic and that would be bad; also, the longer they are the less people will read them. Arguably one can derive 'no generated comments' from what's already there though I agree it's not entirely obvious.

The community has been doing a pretty good job of managing this issue though, so I'm not sure it needs officialization.