All good - figured that might’ve been the case.
Heh - to steal from that other thread…
I’ll bet when most people think of the IRA these days, it sure isn’t the Irish Republican Army.