What you are saying is that he wasn't a solo developer? I don't think that is really a requirement for the term. From everything I've read about his work habits, what he created, etc, him being a 10x programmer would be an understatement for the common usage of the term.