Well if the shooter really was on 4chan before the attack, he posted in the r9k section, which Ive read is more for the social recluses and the like so its probably not related to the IRA.