Claramente aí foi uma ironia,  mas que fosse sarcasmo, gracejo, ou coisa semelhante,  tais coisas  rolam soltas  no fórum.  O que não faltam são ironias, sarcasmos, gracejos, e coisas semelhantes.
Acho espantoso que alguém possa ficar irritadinho com isso.  Um ataque pessoal, tudo bem aí  considero  não aceitável.  Mas, fazer  ironias, sarcasmos, gracejos, e coisas semelhantes em relação a algum grupo genérico, é algo que além de corriqueiro é inofensivo.
Uma reação exagerada a isso fica parecendo  uma reação que  fanáticos  por algum time de futebol tem  quando alguém faz um sarcasmo, gracejo, ou ironia sobre o time adorado.
Sinceramente é um tipo de reação sectária.