[gambit-list] Gerbil v0.9