re: #874 reine.de.tout

I agree that ‘violent religious extremism’ is unnecessarily vague. I think his point about how ‘violent’ is more important and much better than ‘radical’, though, is a very strong one.