Comment by knl

The sibling comment described it well. In addition, the majority of github commits are done by the people that are listed in the alumni section, while they where PhD students. There aren’t many commits from people listed as current members, and last significant commits are from the last year.