[gambit-list] Questions & documentation on the universal backend