[gambit-list] Suggested change to "make update"