I had nothing to do with the decision, but I think it is good that it has been flagged.
Note that anyone can still read the comment and chuckle if they feel like it. However, it adds nothing to the topic, arguably spreads FUD (“make Agda lazy” is inaccurate on a few levels) and has the potential to derail it. (Just like this answer, in fact. I would be fine if our discussion were broken out or hidden.)
Flagging the comment as such ensures that people do not engage.