It’s a bad idea to get into pissing matches with shitty people. It’s bad for your mental health and it makes you look like a child. Ban toxic people from the mailing lists, I am all for that, but stop giving them drama and attention.