[gambit-list] Gambit TCL and menus