[cto_of_antifa]

It’s generally considered polite to refer To people the way they want to be referred to. It’s relevant.

[TechBro8615]

It's absolutely relevant and was my mistake. I would have corrected it if I had seen it in time – apologies to the author.