Did he start Redis Inc or got hired to work there? I remember something like that for a popular open source project.