[gambit-list] An update on Gerbil