He moved to being an IC a few years ago, so Mitchell's departure might've been in progress for a while. And he seems to be having fun writing a terminal emulator in zig.