I have several choices on how to sort comments. He could have gone to the bottom for me (but not by stating the common opinion)

I think, the rule of not being bothered if you don’t want to communicate should be applied everywhere. Also, I find it healthier if people talk to each other at least a bit, but I mostly attended a gym with a stable population (and quite a long time ago, unfortunately) so that may have affected my opinion