Excellent news!
No, just more news of The Stupid. Banning mere names won't help.
Expulsion of anyone even remotely associated with these terrorists, without recourse to the legal system (a.k.a. The Fifth Column Of The Latter Days), is the ONLY remedy (presuming outright killing might be out of the question).
It was Lord Allenby. who finally ousted the Turkish forces from the Middle East. He walked beside his horse through Jerusalem , freed from them in 1917. Lord Kitchener defeated 20,000 fanatical Dervish at Omdurman, in the Sudan-1898. This allow Egypt to administer the Sudan.
When the Egyptians threw the British out of the Suez Canal Zone in 1957. British forces withdrew all occupation and military support. The Egyptians lost the Sudan to Islamic rule. One can read of the awful mess, much of it is in today.
The Muslim complaint should be against more recent humiliations. They no longer dare any combat in the open field.