That's probably the only thing that could lend Twitter any credence. Though, I'm not sure if they published the 200 page complaint, but none of the news outlets have said that he specifically references Musk, just that Twitter employees weren't aware of the amount of bots on the platform and were discouraged from doing so.
I did find one say that the complaint was already in progress before Musk's deal, and Musk rightly tried to subpoena Mudge for his recent exit. It does sound reasonable that the bot comment was added in light of the fiasco with Musk's deal.
