Yeah. That is also an interesting one. For what it’s worth, he did seem genuinely thankful towards Linus for taking care of him earlier on in his career, and if he knew something was up I would hope he would have just left instead of being part of the farewell video.

But he probably was getting fairly burnt out. But as always, we cannot know what anyone’s motivations for anything are, so it’s best we don’t second guess people’s public statements.