[gambit-list] v4.7.3 ??