[gambit-list] Gerbil v0.13 is out!