It's a bummer, not sure why this happened. I liked Gary, and saw him as the right man to shepherd Firefox OS from conception to production.
Searching for a new CEO is a huge distraction, particularly at this crucial time when they're trying to prove a major pivot and work out commercial deals with device makers.
I'm sending positive vibes to my former colleagues!