[gambit-list] Hailing Marc's github PRs