Exactly! He managed to put the company's best interests before his own, and chose to resign. But he wasn't fired: the Mozilla board did not ask for his resignation. He could have stayed if he wanted to.