That links to some lefty activist named Steve Rustad not Ted Cruz? I’m confused - are you talking about the TX & other states case or the earlier denied relief?
https://mobile.twitter.com/tedcruz/status/1336467262975467520