While a agree with both opinions, it’s not like they started a full debate about it. By having this discussion you actually went more off-topic than they did … It was just 2 messages, ignore it and move on.
On that note, here is the theme i will be using today :
(Btw for those who really want to debate about which Linux distros is better, here is the appropriate topic : A Little Joke for a Regular Day [2025])