Yes, that one. And he still contributes a lot to the Linux community, just in a new form, which is good! Everyone has found their place and is useful to the greater things.