The attackers were overheard shouting “Off with his head, man!”
I wish I knew more Radiohead songs to add to the chat. A simple “What do you get when Radio head and Islam clash?” “Radio Clash” by the Clash. :-)