To be fair, that's not a very formal resignation. He just... quit.