I didn’t recognize your name at first, but I actually saw that exchange and upvoted that comment! I rarely comment in those communities anymore for that reason. Most of the users there are alright, but there are a handful of unfortunately vocal ones who make it a real challenge to have a productive discussion.