Something this serious isn't a "random bust." We definitely should be informed about threats like this. And yes it is their job.
Maybe we should just ignore someone walking through with nuclear materials as well.
In November of 2018 it wasn’t that serious. And of course the fact that this info is available shows they did release it. Just nobody cared. The world is filled with noise. People fail to notice a lot of stuff, until suddenly they don’t.