Good point. But also consider that two wrongs don't make a right.
Mohammedan Death Cultists (we need to distinguish here among various different kinds of adherents to Islam and concentrate on the genuine nutcases and homicide bomber types) can neither be excommunicated nor defrocked by the RCC but, in a sane world, they would be quite eligible to receive the auto da fe and its corrective consequences.