Besides the ‘known to FBI/authorities’, the other thing I picked up skimming some of the media reports was about this ‘installed a week ago’ alert system at the school:

Sheriff Jud Smith said: "All of our teachers are armed with a form of ID, this alarms us and alerts law enforcement officers after buttons are pressed on the ID.

So wonder which security-tech firm is about to make a bunch of money off this news.