Putting aside the specifics of this story for a moment: I really hope that we don't enter a new era of tech journalism where we get story after story written by anonymous government sources, because I am about to lose my mind over the constant barrage of reporting in this style on politics.
It's already creeping into business sections, just make it stop.