Thanks, I missed that. I asked around, and I'm told that Mozilla's suit was dismissed with prejudice in Santa Clara County Superior Court (original case id is 17CV319921, I think). If true this helps account for both Chris Beard termination and layoffs.
https://www.computerworld.com/article/3487825/mozilla-in-tro...