it’s best to ignore people who you don’t interact well with unless you have something productive to add.

and even if you do, if you know that they have repeatedly in the past ignored or attacked your input, they probably aren’t worth your time anyways.

protecting your own mental health should come before interacting with possible ragebait.