They are lucky it's not the CEO-founder. Easier to put a non-CEO on leave than a CEO I imagine.
https://github.com/blog/1761-new-year-new-ceo-for-github
I'm not terribly clear on US company governance and GitHub is atypical, so mojombo's new role is a bit fuzzy to me.
Which is to say, you're fuzzy on it because it's fuzzy. There are no strict rules as to the structure of senior corporate officers.
If you really want to out him that badly just man up an post his name rather than trying to weasel around with "Easier to put a president on leave than a CEO".
I wasn't outing anyone, the founder who shall not be named is the only married one as plenty of people pointed out from the start.
Also, for context to the original comment, the founder we are discussing here used to be CEO but switched roles a while back.