> All four were granted anonymity because they were not authorized to publicly discuss the private chats.

Anyone with access to NSA plus various subcontractors' toolsets can "unmask" these people in like five minutes. Musk may not be "tech genius" some of the media makes him out to be, but he knows enough about how the internet and computers work (or has advisors who do) to figure that out.