Why would you think he is not ok? Just linking to a GitHub repo he maintains doesn't really tell the story.