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