[gambit-list] Gerbil v0.8