False. The reason for leaving Mozilla was never published.
> I'm wondering if I'm missing something like he himself did some about-face, or people lost track of this, or if they just don't care anymore or what?
So your disappointed Hacker News isn't more engaged with identity politics and cancel culture?
And by the way you are wrong. It has come up in several threads in the past.
https://news.ycombinator.com/item?id=25844354