[gambit-list] Gambit REPL update