As far as I'm aware, it isn't, but it could have been part of the filings for the temporary restraining order. The number is from this coverage of the hearing by a tech/legal reporter. https://twitter.com/sarahjeong/status/1298031302357082112?s=...