You’re right, I misremembered. I’m not saying that the IRA weren’t bad, they killed more people than 9/11, but they learnt that killing random people was bad for PR and adapted thier tactics to economic targets in the 90’s. I’m from London and I lived through the IRA bombing campaign of the 90’s and the various ISIS attacks of the 2000’s. The IRA made me annoyed, angry maybe but not terrorised, they phoned in warnings and thier attacks were mostly inconvenient. The 7/7 suicide bombers were a completely different intent, they were out to kill as many random people as possible, the IRA weren’t by that stage.