3 ms·

So, the alphabet agencies have done it before but there's zero probability that they'll do it again right? Yeah, makes perfect sense.