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