The person you've highlighted as doing everything is Matthew Flatt, a professor at the University of Utah, not Matthias Felleisen, whose contribution in code is not the reason he is indispensable to the project.