[gambit-list] Bootstrapping from the Gambit github repo