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.