It would've been a huge liability for Mozilla. An employer is not allowed to discriminate on sexuality. Fire any LGBTQ employee, and there's now a decent chance that Mozilla will now have to prove in court that it didn't have anything to do with the CEO openly hating gay people and creating a hostile work environment.